A portable microkernel-based multiserver operating system written from scratch, splitting file systems, networking, drivers and GUI into fine-grained user-space components.
1604microkernel,drivers,multiserverA portable microkernel-based multiserver operating system written from scratch, splitting file systems, networking, drivers and GUI into fine-grained user-space components.