new: FSL and MSR support #2
diff --git a/board/xilinx/ml401/xparameters.h b/board/xilinx/ml401/xparameters.h
index 4fe36f8..f63ffed 100644
--- a/board/xilinx/ml401/xparameters.h
+++ b/board/xilinx/ml401/xparameters.h
@@ -29,6 +29,9 @@
 /* System Clock Frequency */
 #define XILINX_CLOCK_FREQ	100000000
 
+/* Microblaze is microblaze_0 */
+#define XILINX_FSL_NUMBER	2
+
 /* Interrupt controller is intc_0 */
 #define XILINX_INTC_BASEADDR	0x41200000
 #define XILINX_INTC_NUM_INTR_INPUTS	4