 |
 |
 |
 |
 |
 |
- Overview
- Documentation and reports
- Status information
- Download!
- Building and Using
- Wishlist
- Team Fiasco
- Related work
- Fiasco FAQ
- What's new
- Fiasco-UX
Quick links:
More information
Documentation
- |
Michael Hohmuth: Fiasco Build System |
|
- |
Michael Hohmuth: Fiasco Style Guide |
|
- |
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 |
Papers and Reports
- |
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:
- Publications on L4/x86 µ-kernels
- Publications on L4-based systems
- Other publications from TU Dresden's Operating Systems group
Last modified: Wed Jan 17 2007, 11.25:54 CET