?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / ia32xen / src / ddi
blobd195fd88a3612aed9284bd5c31af6eb74bb713a8
1 ../../ia32/src/ddi
A portable microkernel-based multiserver operating system written from scratch.