diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-04-02 14:12:05 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-04-02 14:12:05 +0200 |
| commit | 805e538b1db9d1969007eff1c556d854c630da0e (patch) | |
| tree | 968294e322ec59b032b835301fc2b2279f60a7e6 /microkernel/mach | |
| parent | b00484370be2df5165c29e493a0d686e5c44af8c (diff) | |
Add a note about x86 port.
Diffstat (limited to 'microkernel/mach')
| -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]] |