2 PARAMETER VERSION = 2.2.0
\r
6 PARAMETER OS_NAME = standalone
\r
7 PARAMETER OS_VER = 1.00.a
\r
8 PARAMETER PROC_INSTANCE = microblaze_0
\r
13 PARAMETER DRIVER_NAME = cpu
\r
14 PARAMETER DRIVER_VER = 1.00.a
\r
15 PARAMETER HW_INSTANCE = microblaze_0
\r
16 PARAMETER COMPILER = mb-gcc
\r
17 PARAMETER ARCHIVER = mb-ar
\r
18 PARAMETER XMDSTUB_PERIPHERAL = debug_module
\r
23 PARAMETER DRIVER_NAME = opbarb
\r
24 PARAMETER DRIVER_VER = 1.02.a
\r
25 PARAMETER HW_INSTANCE = mb_opb
\r
29 PARAMETER DRIVER_NAME = uartlite
\r
30 PARAMETER DRIVER_VER = 1.00.b
\r
31 PARAMETER HW_INSTANCE = debug_module
\r
35 PARAMETER DRIVER_NAME = bram
\r
36 PARAMETER DRIVER_VER = 1.00.a
\r
37 PARAMETER HW_INSTANCE = dlmb_cntlr
\r
41 PARAMETER DRIVER_NAME = bram
\r
42 PARAMETER DRIVER_VER = 1.00.a
\r
43 PARAMETER HW_INSTANCE = ilmb_cntlr
\r
47 PARAMETER DRIVER_NAME = uartlite
\r
48 PARAMETER DRIVER_VER = 1.00.b
\r
49 PARAMETER HW_INSTANCE = RS232_Uart
\r
50 PARAMETER int_handler = vSerialISR, int_port = Interrupt
\r
54 PARAMETER DRIVER_NAME = gpio
\r
55 PARAMETER DRIVER_VER = 2.00.a
\r
56 PARAMETER HW_INSTANCE = LEDs_4Bit
\r
60 PARAMETER DRIVER_NAME = gpio
\r
61 PARAMETER DRIVER_VER = 2.00.a
\r
62 PARAMETER HW_INSTANCE = LEDs_Positions
\r
66 PARAMETER DRIVER_NAME = tmrctr
\r
67 PARAMETER DRIVER_VER = 1.00.b
\r
68 PARAMETER HW_INSTANCE = opb_timer_1
\r
69 PARAMETER int_handler = vTickISR, int_port = Interrupt
\r
73 PARAMETER DRIVER_NAME = intc
\r
74 PARAMETER DRIVER_VER = 1.00.c
\r
75 PARAMETER HW_INSTANCE = opb_intc_0
\r
79 PARAMETER DRIVER_NAME = generic
\r
80 PARAMETER DRIVER_VER = 1.00.a
\r
81 PARAMETER HW_INSTANCE = dcm_0
\r