diff options
| -rw-r--r-- | microkernel/mach/gnumach/ports.mdwn | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/ports.mdwn b/microkernel/mach/gnumach/ports.mdwn index 35b5412a..00cdee8c 100644 --- a/microkernel/mach/gnumach/ports.mdwn +++ b/microkernel/mach/gnumach/ports.mdwn @@ -8,7 +8,8 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU_Free_Documentation_License|/fdl]]."]]"""]] -* [PowerPC](http://www.pjbruin.dds.nl/hurd/). Is not in a usable state. -* Alpha. Was once started, but isn't in a usable state either. + * x86. This is the main port. + * [PowerPC](http://www.pjbruin.dds.nl/hurd/). Is not in a usable state. + * Alpha. Was once started, but isn't in a usable state either. -* [[Xen]] + * [[Xen]] |