Personality neutral servers

The thin API layer between a microkernel and OS Personalities (consisting of libraries and servers)

UPDATE THIS!

Root server

Port Input Output server

KBD server

VIO server

Virtual File System servers