Porting GNU Hurd to L4

Table of Contents

• Status
• Mailing Lists
• Documentation
  • L4
  • Hurd
• Tools
• WWW Links

• L4-hurd@gnu.org: [information] [archive]
• l4ka@ira.uka.de: [information] [subscribe] (closed forum)
• l4-hackers@dresden.de: [information] [archive]
• debian-hurd@debian.org: [information] [archive]

• Manuals
  • L4 Reference Manual ver X.0 (IA32)
  • L4 Reference Manual (IA32) another one
  • L4 User Manual (MIPS)
  • L4 Reference Manual (MIPS)
• FAQ
  • L4KA
  • L4 at TU Dresden
  • Fiasco
• Man Pages (system calls)
  • L4/IA32 and Fiasco
  • L4/MIPS
• Requirements Definition for Fiasco
• L4/Alpha diploma thesis
• Papers at UNSW
• L4KA: Publications

• Hurd Reference Manual: [one file] [toc]

• Farid Haji wrote a patch for using Bochs to boot L4KA, there is a page containing instructions how to use it.

• Microkernels and MK-based Systems
  • L4KA "Hazelnut"
  • Fiasco
  • L4 at TU Dresden
  • L4 implementations (overview)
  • Debian GNU/Hurd
  • Linux on L4
• Platform specific sites
  • Hurd on Alpha
  • L4KA/IA32
  • L4KA/ARM
  • L4/MIPS
  • L4/Alpha

Return to Hurd's home page.

Return to GNU's home page.

Please send FSF & GNU inquiries & questions to gnu@gnu.org. There are also other ways to contact the FSF.

Please send comments on these web pages to webmasters@gnu.org, send other questions to gnu@gnu.org.

Copyright (C) 2000 Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.