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
• Documentation
• CVS repository
• Browsing the code
• Mailing lists
• Internet relay chat

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:  
cvs -z3 -d:pserver:anonymous@cvs.savannah.gnu.org:/sources//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.