diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-04-02 14:27:21 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-04-02 14:27:21 +0200 |
| commit | 16c892ff6f0a83f1a97217e303d86b6e5ef1a7af (patch) | |
| tree | f0186ba947e49ecdf80bcf047ece396093d71626 /user.old/MauricioMastrangelo.mdwn | |
| parent | 7f9c540e49cbb3b4e9adc6b4c95aa79dc349a89a (diff) | |
Remove note about ``Xen's high-level driver interface'', as this is what the Xen port of GNU Mach is providing already.
Diffstat (limited to 'user.old/MauricioMastrangelo.mdwn')
0 files changed, 0 insertions, 0 deletions