diff options
Diffstat (limited to 'gnumach.html')
| -rw-r--r-- | gnumach.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnumach.html b/gnumach.html index d92d1848..d9dd0226 100644 --- a/gnumach.html +++ b/gnumach.html @@ -59,9 +59,8 @@ 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 -microkernels in the future. Mach was ported to many operating systems -in the past. +probably will, be ported to other hardware architectures in the +future. Mach was ported to many operating systems in the past. <P> 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 |