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/gnumach/ports/xen | |
| parent | b00484370be2df5165c29e493a0d686e5c44af8c (diff) | |
Add a note about x86 port.
Diffstat (limited to 'microkernel/mach/gnumach/ports/xen')
0 files changed, 0 insertions, 0 deletions