Resources

Links

Other Open Source initiatives

• Apple Darwin Open Source - has source code for Darwin, including drivers, kernel, and Platform Expert

File Format Documentation

• IBM XCOFF for AIX

Other L4-based OSes, and projects

• Desktop Operating Environment
• DROPS
• L4/Minix
• L4Linux