linux-stable-rt/arch/x86/lguest
..
Kconfig
Makefile
boot.c
i386_head.S