Surf these sites: Fiasco µ-kernel -- Free GNU GPL''ed, fast, maintainable, readable, rework of L4 interface, with real-time support. L3-L4 µ-kernel family -- Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security mechanism based on secure domains: tasks, clans, chiefs. Kernels try to implement only a minimal set of abstractions on which OSs can be built flexibly. L3 has system-wide persistence.
Help build the largest human-edited
directory on the web.