Public Git Hosting - helenos.git/blob - kernel/arch/ia32xen/src/bios

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

[helenos.git] / kernel / arch / ia32xen / src / bios

blob	e1e060b42aba29392e2125211ae054008e313972

1 ../../ia32/src/bios

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