original_kernel/arch/x86
..
boot
configs
crypto
ia32
include/asm
kernel
kvm
lguest
lib
mach-default
mach-generic
mach-rdc321x
mach-voyager
math-emu
mm
oprofile
pci
power
vdso
video
xen
Kconfig
Kconfig.cpu
Kconfig.debug
Makefile
Makefile_32.cpu