2 # GXEMUL "oldtestmips" sample kernel configuration.
14 makeoptions KERNLOADADDR=0x80100000
16 include "../gxemul/std.gxemul"
18 hints "GXEMUL.hints" #Default places to look for devices.
20 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
22 makeoptions MODULES_OVERRIDE=""
27 # Make an SMP-capable kernel by default
28 options SMP # Symmetric MultiProcessor Kernel
31 options INET # InterNETworking
32 options INET6 # IPv6 communications protocols
33 options TCP_HHOOK # hhook(9) framework for TCP
35 options FFS #Berkeley Fast Filesystem
37 # Debugging for use in -current
38 #options DEADLKRES #Enable the deadlock resolver
39 options INVARIANTS #Enable calls of extra sanity checking
40 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
41 #options WITNESS #Enable checks to detect deadlocks and cycles
42 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
44 options ROOTDEVNAME=\"ufs:gxemul_disk0\"
51 device loop # Network loopback
52 device random # Entropy device
53 device ether # Ethernet support
54 device tun # Packet tunnel.
55 device md # Memory "disks"
56 device gif # IPv6 and IPv4 tunneling
58 # The `bpf' device enables the Berkeley Packet Filter.
59 # Be aware of the administrative consequences of enabling this!
60 # Note that 'bpf' is required for DHCP.
61 device bpf # Berkeley packet filter