Changed html page for l4-hurd

[Zeno Gantner]

hello,
following your suggestions I've done some changes
to the page:
 - background is now white
 - the Hurd manual URL points now to the one at
   gnu.org (html and postscript version)
 - deleted the line "Hazelnut supports SMP"
   (see below)
 - Comments about the page go to address@hidden
 - deleted my feedback URL
 - changed the links to the debian-hurd ml
 - corrected the l4KA FAQ link
annotations:
 - I took the gnu's head picture from the
   boilerplate page (hope it works correct)
   Is there any Hurd logo out there except for
   the big one at hurd.gnu.org?
   I wrote to the webmaster of the Dresden L4
   site for a permission to use the L4/x86 logo
   (it looks quite nice, no answer yet).
   Perhaps this pic and a GNU Hurd logo side by
   side (means not much work ;-))
 - Question to the l4-hurd guys: Is SMP support
   planned for L4KA (I think of Hazelnut's
   successors)? If there isn't anybody who knows
   it I'll ask at Uni Karlsruhe.
 - I've tested all the links. They should be ok
   now.
 - http://www.research.ibm.com/sawmill/L4-x-rat.ps
   this short document is an introduction to the
   API version X (used in Hazelnut, I guess)
   Should there be a link or isn't it that
   important?
 - If there are more comfortable ways to send you
   the page than via mailing lists, please tell me,
   Jeff.
   Or is it ok to post it on the MLs so that others
   can view them without having to surf around... ?

I hope this page is ok. If there is someone who
is able to tell me some technical facts I can put
it on the page, too.

cu
        Zeno

Porting GNU Hurd to L4

Table of Contents

• Status
• Why porting the Hurd to another microkernel?
• Problems
• Mailing Lists
• Documentation
  • L4
  • Hurd
• Tools
• WWW Links
• Download

Status

Discussion. Join the list!
OKUJI Yoshinori has compiled the differences between L4 and Mach on this page.
L4-Hurd.

Why porting the Hurd to another microkernel?

• One of the design goals of GNU Hurd was to be platform (architecture, microkernel) independent. This is NOT the case at the moment.
• GNU Mach runs only on IA32 systems.
• GNU Mach doesn't support SMP.
• There are L4 implementations for IA32, ARM, Alpha and MIPS.
• L4 is being actively developed.
• In the future, L4 will run on distributed systems, perhaps the Hurd will benefit from that.
• GNU Mach is BIG (more than 100 system calls). L4 is fast and small (7 system calls).
• Mach has built-in device drivers, that means a bug in a driver can crash the whole system.
• The Hurd hasn't ever been ported to another microkernel. Porting it for the first time will help to be able to do that in the future.
  The first discussions on the mailing list have shown that there it won't be easy to do the port, one suggestion was to rewrite the Hurd servers from scratch.

Problems

• The Hurd is not that microkernel-independent as claimed in the past, it makes use of many Mach-specific features.
• Mach and L4 are quite different.
• The L4 interface is not fix yet, there will still be changes in the future.
• There are no built-in device drivers. An interface for drivers is needed.

Mailing Lists

• address@hidden: [information] [archive]
• address@hidden: [information] [subscribe]
• address@hidden: [information] [archive]
• address@hidden: [archive] [subscribe]

Documentation

L4

• Manuals
  • L4 Reference Manual API X.0 (for Hazelnut on IA32)
  • L4 User Manual (general, examples for MIPS API 2)
  • L4 Reference Manual API 2 (MIPS)
• FAQ
  • Hazelnut (the first L4KA microkernel)
  • 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

• Hurd Reference Manual: [ps] [html]

Tools

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

WWW Links

• Microkernels and MK-based Systems
  • L4KA
  • ChacmOS an example OS on top of L4KA "Hazelnut"
  • Fiasco
  • L4 at TU Dresden
  • L4 implementations (overview)
  • Debian GNU/Hurd
  • Linux on L4
  • SawMill
  a multi-server linux on top of L4, there will be a release soon...
  • Mungi another L4-based OS
• Platform specific sites
  • Hurd on Alpha
  • Hazelnut/IA32
  • Hazelnut/ARM
  • L4/MIPS
  • L4/Alpha

Download

There is no code yet...

---

Return to Hurd's home page.

Return to GNU's home page.

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

Please send comments on these web pages to address@hidden, send other questions to address@hidden.

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.

Updated: 13 December 2000 zeno