system.mss

Spartan3_virtualplatform_8_1

 PARAMETER VERSION = 2.2.0


BEGIN OS
 PARAMETER OS_NAME = xilkernel
 PARAMETER OS_VER = 3.00.a
 PARAMETER STDIN = RS232
 PARAMETER STDOUT = RS232
 PARAMETER proc_instance = microblaze_0
# Enable diagnostic/debug messages
 PARAMETER config_debug_support = true
 PARAMETER verbose = true
# Microblaze system timer device specification
 PARAMETER systmr_spec = true
 PARAMETER systmr_dev = opb_timer_1
 PARAMETER systmr_freq = 66000000
 PARAMETER systmr_interval = 80
# Specification of the intc device
 PARAMETER sysintc_spec = opb_intc_0
 PARAMETER config_sched = true
# Scheduling type 
 PARAMETER sched_type = SCHED_RR
 PARAMETER max_readyq = 8
# Configure pthreads
 PARAMETER config_pthread_support = true
 PARAMETER max_pthreads = 8
# Semaphore specification
 PARAMETER config_sema = true
 PARAMETER max_sem = 4
 PARAMETER max_sem_waitq = 5
# MSGQ specification
 PARAMETER config_msgq = true
 PARAMETER num_msgqs = 1
 PARAMETER msgq_capacity = 10
# MSGQ's require config_bufmalloc to be true. 
 PARAMETER config_bufmalloc = true
# Configure time related features
 PARAMETER config_time = true
 PARAMETER max_tmrs = 10
 PARAMETER mem_table = ((4,30),(8,20))
 PARAMETER static_pthread_table = ((shell_main,0))
END


BEGIN PROCESSOR
 PARAMETER DRIVER_NAME = cpu
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = microblaze_0
 PARAMETER COMPILER = mb-gcc
 PARAMETER ARCHIVER = mb-ar
 PARAMETER XMDSTUB_PERIPHERAL = debug_module
END


BEGIN DRIVER
 PARAMETER DRIVER_NAME = generic
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = mb_opb
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = generic
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = dlmb
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = generic
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = ilmb
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = uartlite
 PARAMETER DRIVER_VER = 1.00.b
 PARAMETER HW_INSTANCE = debug_module
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = bram
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = dlmb_cntlr
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = bram
 PARAMETER DRIVER_VER = 1.00.a
 PARAMETER HW_INSTANCE = ilmb_cntlr
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = uartlite
 PARAMETER DRIVER_VER = 1.00.b
 PARAMETER HW_INSTANCE = RS232
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = gpio
 PARAMETER DRIVER_VER = 2.00.a
 PARAMETER HW_INSTANCE = LEDs_8Bit
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = tmrctr
 PARAMETER DRIVER_VER = 1.00.b
 PARAMETER HW_INSTANCE = opb_timer_1
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = intc
 PARAMETER DRIVER_VER = 1.00.c
 PARAMETER HW_INSTANCE = opb_intc_0
END

BEGIN DRIVER
 PARAMETER DRIVER_NAME = emc
 PARAMETER DRIVER_VER = 2.00.a
 PARAMETER HW_INSTANCE = SRAM_256Kx32
END