1## All of the following settings are defaults.
2## You can change them on a system-wide basis using this file.
3##
4# bootmsg
5# clockdevice
6# clockdeviceirq=7
7# clockintr=200000000
8# clockspeed=250000
9# debugport=0
10# execname=none
11# haltbreak
12# haltdevice
13# haltibe
14# loadaddr=0xbfc00000
15# memdumpfile=memdump.bin
16# memsize=0x100000
17# nodbemsg
18# nodebug
19# nodeccsr
20# nodecrtc
21# nodecserial
22# nodecstat
23# nodumpcp0
24# nodumpcpu
25# noexcmsg
26# noexcpriomsg
27# nofpu
28# nohaltdumpcp0
29# nohaltdumpcpu
30# noinstcounts
31# noinstdump
32# nomemdump
33# norealtime
34# noreportirq
35# notestdev
36# notracing
37# romfile=romfile.rom
38# spimconsole
39# timeratio=1
40# traceendpc=0
41# tracesize=100000
42# tracestartpc=0
43# ttydev2=off
44# ttydev=/dev/tty
45##
46## The following options have defaults set by `configure':
47##
48bigendian
49mipstoolprefix='/home/brg/mips-tools/mips-elf/bin/mips-elf-'
50