15-412, Hurd/L4

This is the home of the "15-412 Hurd/L4" project. The motto is "something we would actually use".

Our Goal

To further the port of Hurd/L4 in a significant way by getting Hurd/L4 to run Net-HACK

Our project

• Why are we here?
  The Big Picture
  
• Where are we going
  Project goals
  Milestones and current status
• how did we get here?
  Old milestones

Our descriptions of L4 and Hurd

Slightly more brief description of the pieces of L4 hurd, then found on the Hurd/L4 pages. These will be updated as we come to understand more about Hurd and L4

• Terms and details of Hurd on L4
• Information on other L4 projects

Reference materials

• Hurd/L4
  • Hurd/L4's description of what they are
  • HurdOnL4 wiki
  • ViewCVS
  • L4-hurd mailing list archives
  • Porting the GNU Hurd to the L4 Microkernel
  • GNU's Hurd/L4 page
• L4
  • L4 at Dresden
  • L4Ka
  • L4HQ
  • FIASCO
  • Pistachio download
  • L4 X.2 Rev 6 Reference Manual
• Hurd
  • Hurd Homepage
• Mach
  • GNU Mach
• Other L4 projects
  • Most of the L4 pages have their own lists. See those for more.
• GNU Coding Standards

[Last modified Thursday March 03, 2005]