A display server architectured as a microkernel