DK1S10 DK1S10_standard_32 DK1S10_mtx_ldk_20 \
"
+#########################################################################
+## MicroBlaze Systems
+#########################################################################
+
+LIST_microblaze="suzaku"
+
#-----------------------------------------------------------------------
#----- for now, just run PPC by default -----
case "$arg" in
ppc|5xx|5xxx|8xx|824x|8260|85xx|4xx|7xx|74xx| \
arm|SA|ARM7|ARM9|pxa|ixp| \
+ microblaze| \
mips| \
nios| \
x86|I486)