original_kernel/arch/x86/lguest
..
Kconfig
Makefile
boot.c
head_32.S