PARAMETER VERSION = 2.2.0 BEGIN OS PARAMETER OS_NAME = xilkernel PARAMETER OS_VER = 5.01.a PARAMETER PROC_INSTANCE = microblaze_0 PARAMETER STDIN = rs232_uart_1 PARAMETER STDOUT = rs232_uart_1 PARAMETER SYSTMR_SPEC = true PARAMETER SYSTMR_DEV = axi_timer_0 PARAMETER SYSINTC_SPEC = axi_intc_0 PARAMETER CONFIG_SEMA = true PARAMETER CONFIG_MSGQ = true PARAMETER USE_MALLOC = true PARAMETER STATIC_PTHREAD_TABLE = ((thread_main,1)) END BEGIN PROCESSOR PARAMETER DRIVER_NAME = cpu PARAMETER DRIVER_VER = 1.15.a PARAMETER HW_INSTANCE = microblaze_0 END BEGIN DRIVER PARAMETER DRIVER_NAME = intc PARAMETER DRIVER_VER = 2.06.a PARAMETER HW_INSTANCE = axi_intc_0 END BEGIN DRIVER PARAMETER DRIVER_NAME = tmrctr PARAMETER DRIVER_VER = 2.05.a PARAMETER HW_INSTANCE = axi_timer_0 END BEGIN DRIVER PARAMETER DRIVER_NAME = tmrctr PARAMETER DRIVER_VER = 2.05.a PARAMETER HW_INSTANCE = axi_timer_1 END BEGIN DRIVER PARAMETER DRIVER_NAME = v6_ddrx PARAMETER DRIVER_VER = 2.00.a PARAMETER HW_INSTANCE = ddr3_sdram END BEGIN DRIVER PARAMETER DRIVER_NAME = uartlite PARAMETER DRIVER_VER = 2.01.a PARAMETER HW_INSTANCE = debug_module END BEGIN DRIVER PARAMETER DRIVER_NAME = bram PARAMETER DRIVER_VER = 3.02.a PARAMETER HW_INSTANCE = microblaze_0_d_bram_ctrl END BEGIN DRIVER PARAMETER DRIVER_NAME = bram PARAMETER DRIVER_VER = 3.02.a PARAMETER HW_INSTANCE = microblaze_0_i_bram_ctrl END BEGIN DRIVER PARAMETER DRIVER_NAME = uartlite PARAMETER DRIVER_VER = 2.01.a PARAMETER HW_INSTANCE = rs232_uart_1 END