Public Git Hosting - helenos.git/blob - kernel/arch/ia32xen/include/ddi

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD

[helenos.git] / kernel / arch / ia32xen / include / ddi

blob	e6610729aabb977959b70997c28a1868d7a34df6

1 ../../ia32/include/ddi

A portable microkernel-based multiserver operating system written from scratch.