[arch]
name = x86
platforms = basic_minuteia basic_atom galileo quark_se quark_d2000

[basic_atom]
qemu_support = true

[basic_minuteia]
qemu_support = true

[galileo]

[quark_se]
qemu_support = false

[quark_d2000]
qemu_support = false
microkernel_support = false