1234920Srwatson# 2234920Srwatson# GXEMUL "oldtestmips" sample kernel configuration. 3234920Srwatson# 4234920Srwatson# $FreeBSD$ 5234920Srwatson# 6234920Srwatson 7234920Srwatsonident GXEMUL 8234920Srwatson 9234926Srwatsonmachine mips mips64 10234920Srwatsoncpu CPU_MIPS4KC 11234920Srwatson 12234920Srwatsonoptions HZ=100 13234920Srwatson 14234920Srwatsonmakeoptions ARCH_FLAGS="-march=mips64 -mabi=64" 15234920Srwatson 16234920Srwatsonmakeoptions KERNLOADADDR=0xffffffff80100000 17234920Srwatson 18234920Srwatsoninclude "../gxemul/std.gxemul" 19234920Srwatson 20234920Srwatsonhints "GXEMUL.hints" #Default places to look for devices. 21234920Srwatson 22234920Srwatsonmakeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 23234920Srwatson 24234920Srwatsonmakeoptions MODULES_OVERRIDE="" 25234920Srwatson 26234920Srwatsonoptions DDB 27234920Srwatsonoptions KDB 28234920Srwatson 29235118Sjmallett# Make an SMP-capable kernel by default 30235118Sjmallettoptions SMP # Symmetric MultiProcessor Kernel 31235118Sjmallett 32234920Srwatsonoptions SCHED_ULE 33235117Sjmallettoptions INET # InterNETworking 34235117Sjmallettoptions INET6 # IPv6 communications protocols 35234920Srwatson 36234920Srwatsonoptions FFS #Berkeley Fast Filesystem 37234920Srwatson 38234920Srwatson# Debugging for use in -current 39234920Srwatson#options DEADLKRES #Enable the deadlock resolver 40234920Srwatsonoptions INVARIANTS #Enable calls of extra sanity checking 41234920Srwatsonoptions INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 42234920Srwatson#options WITNESS #Enable checks to detect deadlocks and cycles 43234920Srwatson#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 44234920Srwatson 45235073Sjmallettoptions ROOTDEVNAME=\"ufs:gxemul_disk0\" 46234920Srwatson 47234920Srwatsondevice gxemul_cons 48235073Sjmallettdevice gxemul_disk 49235117Sjmallettdevice gxemul_ether 50235117Sjmallett 51235117Sjmallett# Pseudo devices. 52235117Sjmallettdevice loop # Network loopback 53235117Sjmallettdevice random # Entropy device 54235117Sjmallettdevice ether # Ethernet support 55235117Sjmallettdevice tun # Packet tunnel. 56235117Sjmallettdevice md # Memory "disks" 57235117Sjmallettdevice gif # IPv6 and IPv4 tunneling 58235117Sjmallett 59235117Sjmallett# The `bpf' device enables the Berkeley Packet Filter. 60235117Sjmallett# Be aware of the administrative consequences of enabling this! 61235117Sjmallett# Note that 'bpf' is required for DHCP. 62235117Sjmallettdevice bpf # Berkeley packet filter 63