Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers. - View it on GitHub