2015-07-17 12:03:52 -07:00
|
|
|
[arch]
|
|
|
|
name = x86
|
2015-12-16 23:37:56 -05:00
|
|
|
platforms = qemu_x86 minnowboard galileo quark_se_ctb quark_d2000_crb
|
2015-07-17 12:03:52 -07:00
|
|
|
|
2015-11-13 16:17:27 -08:00
|
|
|
[qemu_x86]
|
2015-07-17 12:03:52 -07:00
|
|
|
qemu_support = true
|
|
|
|
|
2015-12-16 23:37:56 -05:00
|
|
|
[minnowboard]
|
2015-11-13 16:17:27 -08:00
|
|
|
qemu_support = false
|
2015-07-17 12:03:52 -07:00
|
|
|
|
|
|
|
[galileo]
|
2015-11-13 16:17:27 -08:00
|
|
|
qemu_support = false
|
2015-07-17 12:03:52 -07:00
|
|
|
|
2015-12-13 19:24:59 -05:00
|
|
|
[quark_se_ctb]
|
2015-07-31 07:52:31 -04:00
|
|
|
qemu_support = false
|
|
|
|
|
2015-12-13 19:24:59 -05:00
|
|
|
[quark_d2000_crb]
|
2015-07-31 07:52:31 -04:00
|
|
|
qemu_support = false
|
|
|
|
microkernel_support = false
|
2015-11-13 16:17:27 -08:00
|
|
|
|