From 576122f6309c49745d16be06e7ce2218a769e96c Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Mon, 4 Dec 2006 19:42:27 +0000 Subject: This was a `sed'-based change, where I didn't review every single detail and thus hope that I didn't break anything. Replace `MiG' with `MIG'. Replace `MIG' with `GNU MIG' and `The GNU Hurd' with `GNU Hurd' when linking to the pages. Make the space between `GNU' and `Hurd' or `Mach' or `MIG' non-breakable. --- gnumach.html | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'gnumach.html') diff --git a/gnumach.html b/gnumach.html index d00fc274..2a983c76 100644 --- a/gnumach.html +++ b/gnumach.html @@ -2,7 +2,7 @@ "http://www.w3.org/TR/REC-html40/strict.dtd"> -The GNU Hurd - GNU Project - Free Software Foundation (FSF) +The GNU Hurd - GNU Project - Free Software Foundation (FSF) @@ -27,7 +27,7 @@  
ChangeLogs

-The GNU Hurd
+GNU Hurd
 
Documentation
Installation
@@ -42,7 +42,7 @@ Installation
Source Code
 
-MiG
+GNU MIG
 
Source Code
 
@@ -54,32 +54,32 @@

Table of Contents

-

Introduction to GNU Mach

+

Introduction to GNU Mach

-GNU Mach is the microkernel of the GNU system. A microkernel provides +GNU Mach is the microkernel of the GNU system. A microkernel provides only a limited functionality, just enough abstraction on top of the hardware to run the rest of the operating system in user space. The -GNU Hurd servers and the GNU C library implement the POSIX compatible +GNU Hurd servers and the GNU C library implement the POSIX compatible base of the GNU system on top of the microkernel architecture provided by Mach.

-Currently, GNU Mach runs on IA32 machines. GNU Mach should, and +Currently, GNU Mach runs on IA32 machines. GNU Mach should, and probably will, be ported to other hardware architectures in the future. Mach was ported to many operating systems in the past.

-GNU Mach is maintained by the Hurd developers for the GNU project. If -you need help with GNU Mach or want to contribute to the development +GNU Mach is maintained by the Hurd developers for the GNU project. If +you need help with GNU Mach or want to contribute to the development of the microkernel, you should contact the Hurd people. -

Advantages of GNU Mach

-GNU Mach is not the most advanced microkernel known to the planet, nor +

Advantages of GNU Mach

+GNU Mach is not the most advanced microkernel known to the planet, nor is it the fastest or smallest, but it has a rich set of interfaces and some features which make it useful as the base of the Hurd system.
@@ -90,11 +90,11 @@ Anybody can use, modify, and redistribute it under the terms of the
it's built to survive
-As a microkernel, GNU Mach doesn't implement a lot of the features +As a microkernel, GNU Mach doesn't implement a lot of the features commonly found in an operating system, but only the bare minimum that is required to implement a full operating system on top of it. This means that a lot of the operating system code is maintained outside of -GNU Mach, and while this code may go through a complete redesign, the +GNU Mach, and while this code may go through a complete redesign, the code of the microkernel can remain comparatively stable.
it's scalable
@@ -103,7 +103,7 @@ Mach is particularly well suited for SMP and network cluster techniques. Thread support is provided at the kernel level, and the kernel itself takes advantage of that. Network transparency at the IPC level makes resources of the system available across machine -boundaries (with NORMA IPC, currently not available in GNU Mach). +boundaries (with NORMA IPC, currently not available in GNU Mach).
it exists
@@ -118,17 +118,17 @@ multi-server operating system, the Hurd.

Status of the project

-GNU Mach 1.3 was released in May 2002, and features advanced boot +GNU Mach 1.3 was released in May 2002, and features advanced boot script support, support for large disks (>= 10GB) and an improved console.

-GNU Mach is used as the default microkernel in the GNU/Hurd system. +GNU Mach is used as the default microkernel in the GNU/Hurd system. It is compatible with other popular Mach distributions. The device drivers for block devices and network cards are taken from Linux 2.0.x kernel versions, and so a broad range of common hardware is supported.

However, the Linux device drivers have been improved greatly since the -2.0.x version, and a new version of GNU Mach based on the OSKit +2.0.x version, and a new version of GNU Mach based on the OSKit library is being worked on, which uses newer drivers and in general has cleaner machine specific support code. -- cgit v1.2.3