/target/x86/kernel/
../
generic-x86
ibm-x40
pcengines-alix
qemu-x86
qemu-x86_64
vbox-x86