/target/linux/rdc/files/arch/x86/
../
boot
kernel
mach-rdc