[image of the Hurd logo] [ English ]
What's New
 
ChangeLogs

The GNU Hurd
 
Documentation
Installation
Getting Help
Source Code
Development
History
 
GNU Mach
 
Documentation
Installation
Source Code
 
MiG
 
Source Code
 
Related Projects


Table of Contents


The GNU Hurd on top of the L4 microkernel

The GNU Hurd on top of the L4 microkernel is an on-going effort to port the Hurd system to the L4Ka::Pistachio microkernel. This project is not released yet. The only way to find out more about it is to browse the source code, read what little documentation there is, and talk to the participants.

Documentation

In the CVS Repository is a tex document that describes some of our design ideas. This document is not always up to date, nor is it complete. But it describes a lot of the core ideas in some detail.

CVS repository

The Hurd-on-L4 source code is managed in the version control system CVS. You can check out the CVS repository through anonymous CVS over SSH with the following instruction set. When prompted for a password for anoncvs, simply press the Enter key.

Source tree: export CVS_RSH="ssh"
 
cvs -z3 -d:ext:anoncvs@savannah.gnu.org:/cvsroot/hurd co hurd-l4

Updates from within the module's directory do not need the -d parameter.

For the full details, read the savannah page.

Browsing the code

You can also browse the CVS repository of the Hurd-on-L4 with your web browser. The web pages are generated dynamically at the time you request them and are always up to date.

Mailing lists

If you have questions about the Hurd-on-L4 you can send an e-mail to the L4-Hurd <l4-hurd@gnu.org> mailing list.

Internet relay chat

The GNU Project uses Freenode as its official IRC network. The network of IRC servers can be accessed through irc.gnu.org. The channel #hurd-l4 is dedicated to the Hurd-on-L4. You can find other users and developers interested in the Hurd on L4 there and chat with them in real time.

Some of these links are at other web sites not maintained by the FSF. The FSF is not responsible for the content of these other web sites.


[ English ]

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 web-hurd@gnu.org, send other questions to gnu@gnu.org.

Copyright (C) 2001, 2002 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: $Date$ $Author$