Rename xen32 to ia32xen.
[helenos.git] / kernel / arch / ia32xen / src / debug
blob10dc3f66acbf93ec204c8b44d10cee9eb68f2341
1 ../../ia32/src/debug