[arch]
name = x86
platforms = qemu_x86_iamcu arduino_101 qemu_x86 minnowboard galileo quark_d2000_crb quark_se_devboard

[qemu_x86]
qemu_support = true

[qemu_x86_iamcu]
qemu_support = true

[minnowboard]
qemu_support = false

[galileo]
qemu_support = false

[quark_d2000_crb]
qemu_support = false
microkernel_support = false

[arduino_101]
qemu_support = false

[quark_se_devboard]
qemu_support = false