l4hq.org
L4HQ - L4 Based Operating Systems
http://www.l4hq.org/projects/os
Home of the L4 community. L4 Based Operating Systems. L4 Based Operating Systems. L4 provides an minimal set of mechanisms to applications running on top of it. To be able to develop applications on top of L4 for common hardware, one needs some basic services. These range from minimal support libraries to fully-fledged operating-system personalities. The latter class includes complete (virtualised) operating systems for legacy support. Currently supported L4-based OS environments. The Genode OS Framework.
l4hq.org
L4HQ - L4 Kernel Projects
http://www.l4hq.org/projects/kernel
Home of the L4 community. Currently Maintained Kernel Implementations. SeL4 is a kernel developed by NICTA. For high-assurance use. Its defining features are:. A new resource-management model that enhances isolation and supports reasoning about it. Using capabilities and making all memory management a user-level responsibility, memory management is fully delegatable with low overheads, and automatically extends to kernel memory. In a very strong sense. It has a complete analysis of timing, in particular,...
l4hq.org
L4HQ - L4 Projects
http://www.l4hq.org/projects
Home of the L4 community. See the kernel page. For details, as well as a list of obsolete or unmaintained L4 kernels. L4-Based Operating System Environments. See the operating systems. Page for details, as well as a list of obsolete or unmaintained OS environments.