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