1# 2# GXEMUL "oldtestmips" sample kernel configuration. 3# 4# $FreeBSD$ 5# 6 7ident GXEMUL 8 9machine mips mips 10cpu CPU_MIPS4KC 11 12options HZ=100 13 14makeoptions KERNLOADADDR=0x80100000 15 16include "../gxemul/std.gxemul" 17 18hints "GXEMUL.hints" #Default places to look for devices. 19 20makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 21 22makeoptions MODULES_OVERRIDE="" 23 24options DDB 25options KDB 26 27# Make an SMP-capable kernel by default 28options SMP # Symmetric MultiProcessor Kernel 29 30options SCHED_ULE 31options INET # InterNETworking 32options INET6 # IPv6 communications protocols 33 34options FFS #Berkeley Fast Filesystem 35 36# Debugging for use in -current 37#options DEADLKRES #Enable the deadlock resolver 38options INVARIANTS #Enable calls of extra sanity checking 39options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 40#options WITNESS #Enable checks to detect deadlocks and cycles 41#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 42 43options ROOTDEVNAME=\"ufs:gxemul_disk0\" 44 45device gxemul_cons 46device gxemul_disk 47device gxemul_ether 48 49# Pseudo devices. 50device loop # Network loopback 51device random # Entropy device 52device ether # Ethernet support 53device tun # Packet tunnel. 54device md # Memory "disks" 55device gif # IPv6 and IPv4 tunneling 56 57# The `bpf' device enables the Berkeley Packet Filter. 58# Be aware of the administrative consequences of enabling this! 59# Note that 'bpf' is required for DHCP. 60device bpf # Berkeley packet filter 61