DK1S10 DK1S10_standard_32 DK1S10_mtx_ldk_20 \
"
+#########################################################################
+## Nios-II Systems
+#########################################################################
+
+LIST_nios2="PCI5441 PK1C20"
+
#########################################################################
## MicroBlaze Systems
#########################################################################
arm|SA|ARM7|ARM9|pxa|ixp| \
microblaze| \
mips| \
- nios| \
+ nios|nios2| \
x86|I486)
for target in `eval echo '$LIST_'${arg}`
do