[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
l4-hurd html page
From: |
Zeno Gantner |
Subject: |
l4-hurd html page |
Date: |
Mon, 11 Dec 2000 21:10:17 +0100 |
Hello,
what do you think about this page?
Sorry about the delay, I've been quite busy
(university, wisdom teeth) the last weeks.
to OKUJI:
please mail me if you have complaints about it...
to Jeff Bailey/web-hurd:
I hope you can include this page to the hurd pages
on gnu.org.
cu
Zeno
Porting GNU Hurd to L4
Table of Contents
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.
- L4KA "Hazelnut" supports SMP.
- 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
Documentation
L4
Hurd
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
- Platform specific sites
Download
There is no code yet...
12/11/2000 feedback
If you have technical questions about Hurd/L4, please post to the mailing list.
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.
- l4-hurd html page,
Zeno Gantner <=