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