diff --git a/scripts/sanity_chk/arches/nios2.ini b/scripts/sanity_chk/arches/nios2.ini new file mode 100644 index 00000000000..e6259a5f9f5 --- /dev/null +++ b/scripts/sanity_chk/arches/nios2.ini @@ -0,0 +1,7 @@ +[arch] +name = nios2 +platforms = altera_max10 + +[altera_max10] +# FIXME ZEP-271 +microkernel_support = false