- |
Jan Glauber, Frank Mehnert, Jochen Liedtke: Fiasco Kernel Debugger Manual (TU Dresden Technical Report) | |
- | Building and using Fiasco | |
- | Frequently Asked Questions about Fiasco | |
- | Fiasco source-code documentation | |
- | L4 Developer's Bibliography | |
- | L4 Developer's Resources | |
- | Libl4sys Manual Pages | |
- | Frequently Asked Questions about L4 |
- |
Michael Hohmuth, Hermann Härtig: Pragmatic nonblocking synchronization for real-time systems (In proceedings of USENIX '01) | |
- |
Hendrik Tews, Hermann Härtig, Michael Hohmuth: VFiasco - Towards a Provably Correct Microkernel (TU Dresden Technical Report TUD-FI01-1) | |
- |
Hendrik Tews: Case study in coalgebraic specification: Memory management in the Fiasco microkernel (TU Dresden Technical Report) | |
- |
Michael Hohmuth: The Fiasco Kernel: Requirements Definition (TU Dresden Technical Report TUD-FI98-12. This report includes most of Jochen Liedtke's L4 Reference Manual, version 2.2.) | |
- |
Michael Hohmuth: The Fiasco Kernel: System Architecture (Unpublished manuscript) |
|
Please see also: