diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-03 14:28:30 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-03 14:28:30 +0200 |
| commit | bca93c85250dab863296780abf55c7105388fac4 (patch) | |
| tree | 980ced87084085b4309027a905dc7292a0afc017 /microkernel/mach/discussion.mdwn | |
| parent | 34d39e6473d5d893141f386aedbd3688f1e26063 (diff) | |
The port to Xen is a port.
Diffstat (limited to 'microkernel/mach/discussion.mdwn')
0 files changed, 0 insertions, 0 deletions