summaryrefslogtreecommitdiff
path: root/microkernel/mach/gnu_mach/ports/xen
AgeCommit message (Collapse)Author
2008-11-05microkernel/mach/gnumach -> microkernel/mach/gnu_machThomas Schwinge