original_kernel/arch/x86
..
boot
crypto
ia32
kernel
lib
mach-default
mach-es7000
mach-generic
mach-visws
mach-voyager
math-emu
mm
oprofile
pci
power
vdso
video
xen