calmsacibis995
53 lines
1.1 KiB
Promela
53 lines
1.1 KiB
Promela
#
|
|
# Key file for mpsable. As is, this version does not do any tracing,
|
|
# emulates 4 cpus ...
|
|
#
|
|
setenv console_window 1
|
|
setenv sable_mp 1
|
|
setenv num_of_cpus 4
|
|
setenv control_file mpsable.key
|
|
#setenv debug_mp 1
|
|
setenv cache t5
|
|
setenv cop0 t5
|
|
setenv cop1 t5
|
|
setenv instructions t5
|
|
setenv tlb t5
|
|
setenv translation_algorithm t5
|
|
setenv scache sn0
|
|
setenv memory_map sn0
|
|
setenv m_mode 1
|
|
setenv n_mode 0
|
|
setenv NoMemMapHoles 0
|
|
setenv scache_linesize 128
|
|
setenv scache_size 1048576
|
|
setenv Kseg0CA 4
|
|
setenv SCCorEn 0
|
|
setenv coh_proc_req_tar 0
|
|
setenv dcache_linesize 32
|
|
setenv dev_num 0
|
|
setenv native_endian big
|
|
setenv proc_eliminate_req 0
|
|
setenv proc_req 3
|
|
setenv scc_divide_by_x 1
|
|
setenv sync_flush_ob 0
|
|
setenv sys_divide_by_x 1
|
|
setenv small_memory_allocation on
|
|
setenv stop_on_bup_break 1
|
|
setenv set_vectors_bup_break 1
|
|
setenv max_instructions 50000000
|
|
setenv tr_function_calls 1
|
|
setenv startup_64_bit_mode 1
|
|
setenv perfcnt_active 1
|
|
setenv server_client_side server
|
|
log SYSLOG
|
|
#setenv ttrace_extra on
|
|
#setenv binary_traces on
|
|
#setenv ttrace_filename strace
|
|
|
|
setenv configfile config
|
|
setenv uart_log uart
|
|
setenv fpromfile fprom
|
|
|
|
reset
|
|
load SN0sprom
|