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