2 # GXEMUL "oldtestmips" sample kernel configuration.
14 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
16 makeoptions KERNLOADADDR=0xffffffff80100000
18 include "../gxemul/std.gxemul"
20 hints "GXEMUL.hints" #Default places to look for devices.
22 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
24 makeoptions MODULES_OVERRIDE=""
29 # Make an SMP-capable kernel by default
30 options SMP # Symmetric MultiProcessor Kernel
33 options INET # InterNETworking
34 options INET6 # IPv6 communications protocols
35 options TCP_HHOOK # hhook(9) framework for TCP
37 options FFS #Berkeley Fast Filesystem
39 # Debugging for use in -current
40 #options DEADLKRES #Enable the deadlock resolver
41 options INVARIANTS #Enable calls of extra sanity checking
42 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
43 #options WITNESS #Enable checks to detect deadlocks and cycles
44 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
46 options ROOTDEVNAME=\"ufs:gxemul_disk0\"
53 device loop # Network loopback
54 device random # Entropy device
55 device ether # Ethernet support
56 device tun # Packet tunnel.
57 device md # Memory "disks"
58 device gif # IPv6 and IPv4 tunneling
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.
63 device bpf # Berkeley packet filter