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