diff options
Diffstat (limited to 'gnumach.html')
-rw-r--r-- | gnumach.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnumach.html b/gnumach.html index bacff9b6..2831aee7 100644 --- a/gnumach.html +++ b/gnumach.html @@ -50,8 +50,9 @@ 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 implement the POSIX compatible base of the GNU system -on top of the microkernel architecture provided by Mach. +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. <P> Currently, GNU Mach runs on IA32 machines. GNU Mach should, and probably will, be ported to other hardware architectures or other |