| [arch] | |
| name = x86 | |
| platforms = qemu_x86 minnowboard galileo quark_se_ctb quark_d2000_crb arduino_101 | |
| [qemu_x86] | |
| qemu_support = true | |
| [minnowboard] | |
| qemu_support = false | |
| [galileo] | |
| qemu_support = false | |
| [quark_se_ctb] | |
| qemu_support = false | |
| [quark_d2000_crb] | |
| qemu_support = false | |
| microkernel_support = false | |
| [arduino_101] | |
| qemu_support = false |