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 VIMAGE # Subsystem virtualization, e.g. VNET 32options INET # InterNETworking 33options INET6 # IPv6 communications protocols 34options TCP_HHOOK # hhook(9) framework for TCP 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 58 59# The `bpf' device enables the Berkeley Packet Filter. 60# Be aware of the administrative consequences of enabling this! 61# Note that 'bpf' is required for DHCP. 62device bpf # Berkeley packet filter 63