A Dynamically Reconfigurable Operating System Server with Protection