/target/x86/kernel/
../
generic-pc
ibm-x40
qemu-x86
qemu-x86_64