b765cef359
Instead of using the Wandboard Quad, the reference hardware from NXP i.MX6 Quad Sabrelite will be used by Fiasco.OC, sel4 and hw by default. |
||
---|---|---|
.. | ||
arm_cache.patch | ||
autoconf_32.patch | ||
autoconf_64.patch | ||
config.patch | ||
imx6q_sabrelite.config | ||
ioapic.patch | ||
noise.patch | ||
sel4_tlb_x86_bug.patch |