diff --git a/scripts/sanity_chk/arches/nios2.ini b/scripts/sanity_chk/arches/nios2.ini index a834e82c4ea..4cc97afbb06 100644 --- a/scripts/sanity_chk/arches/nios2.ini +++ b/scripts/sanity_chk/arches/nios2.ini @@ -1,10 +1,3 @@ [arch] name = nios2 platforms = qemu_nios2 altera_max10 - -[qemu_nios2] -microkernel_support = false - -[altera_max10] -# FIXME ZEP-271 -microkernel_support = false