Our Wiki provides useful tips regarding configuration and usage of TUD:OS - and you can add your knowledge to topics by yourself. L4 Environment (L4Env) documentation L4Env is a programming environment for application development on top of the L4 microkernel family. L4Env-core Interface documentation The L4Env-core Interface is the stable and publicly supported part of the L4env. L4 Microkernel Fiasco homepage Fiasco is a microkernel running on various hardware architectures. L4Linux is a port of the Linux kernel to the L4 microkernel API. It is a (para-)virtualized Linux running on top of a hypervisor, completely without privileges if wanted. L4Linux runs in user-mode on top of the microkernel, side-by-side with other microkernel applications such as real-time components. It is binary-compatible with the normal Linux/x86 kernel and can be used with any PC-based Linux distribution. DICE is an IDL compiler, which translates an interface definition of a component into communication code for L4 micro-kernels. |
25. Mar 2009
|
|
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum · |