/target/x86/kernel/

• ../
• generic-pc
• ibm-x40
• qemu-x86
• qemu-x86_64
• vbox-x86