From 7c632cb5e64dd91c917ce9043cd7c2a6e85f9085 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Thu, 6 Nov 2008 12:31:23 +0100 Subject: Remove hurd-l4.html. --- hurd-l4.html | 174 ----------------------------------------------------------- 1 file changed, 174 deletions(-) delete mode 100644 hurd-l4.html (limited to 'hurd-l4.html') diff --git a/hurd-l4.html b/hurd-l4.html deleted file mode 100644 index f1200e15..00000000 --- a/hurd-l4.html +++ /dev/null @@ -1,174 +0,0 @@ - - - -The GNU Hurd - GNU Project - Free Software Foundation (FSF) - - - - - - - - - - - - -
- [image of the Hurd logo] -[ - - - English -| Esperanto -] -
-What's New

-ChangeLogs

-Documentation
-

-GNU Hurd

-Installation
-Getting Help
-Source Code
-Development
-History

-GNU Mach

-Installation
-Source Code

-GNU 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: - 
-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. -

- -
- -[ - - - English -| Esperanto -] - -
- -

-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, 2007 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$ - -


- - -- cgit v1.2.3