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## 48@BIGENDIAN@ 49@MIPSTOOLPREFIX@ 50