TQM8548 \
TQM8555 \
TQM8560 \
+ XPEDITE5200 \
XPEDITE5370 \
"
## MicroBlaze Systems
#########################################################################
-LIST_microblaze=" \
- ml401 \
- suzaku \
+LIST_microblaze=" \
+ microblaze-generic \
+ suzaku \
"
#########################################################################