From 805e538b1db9d1969007eff1c556d854c630da0e Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Wed, 2 Apr 2008 14:12:05 +0200 Subject: Add a note about x86 port. --- microkernel/mach/gnumach/ports.mdwn | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'microkernel/mach/gnumach/ports.mdwn') 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]] -- cgit v1.2.3