L4.Sec Preliminary Microkernel Reference Manual
kauer at os.inf.tu-dresden.de
Wed Oct 19 15:36:26 CEST 2005
The operating system's group at Technische Universit?t Dresden is
pleased to announce the first draft of the L4.Sec Preliminary
Microkernel Reference Manual.
The document can be found at http://os.inf.tu-dresden.de/L4/L4.Sec/
L4.Sec is a specification of a next generation microkernel interface
targeted to co-host user-level servers implementing security-critical
functionality next to untrusted and potentially malicious software.
More information about the l4-hackers