The L4 µ-Kernel Family
Navigate L4/x86 Section:
- Documentation
- Development resources
- Manual pages
- FAQ
- Download
Site Navigation:
- Overview
- Developer's bibliography
- L4 implementations and docs
- Projects and applications using L4
- L3
- Papers and reports
- What's new
Quick links:
L4/x86 development resources
Mailing lists
- L4 discussion currently takes place on the
<l4-hackers@os.inf.tu-dresden.de> mailing list.
This is a low-volume mailing list
(typically <30 messages/month).
To subscribe, send mail to <l4-hackers-request@os.inf.tu-dresden.de>.
Other resources
- Please read the
FAQ.
- We use a version of the
GRUB bootloader to boot L4.
- We use a version of Utah's Flux OSKit.
Last modified: Thu Mar 29 2007, 10.36:45 CEST