FreeBSD/Linux Kernel Cross Reference
sys/mips/conf/GXEMUL32
1 #
2 # GXEMUL "oldtestmips" sample kernel configuration.
3 #
4 # $FreeBSD: releng/11.2/sys/mips/conf/GXEMUL32 274331 2014-11-09 21:33:01Z melifaro $
5 #
6
7 ident GXEMUL
8
9 machine mips mips
10 cpu CPU_MIPS4KC
11
12 options HZ=100
13
14 makeoptions KERNLOADADDR=0x80100000
15
16 include "../gxemul/std.gxemul"
17
18 hints "GXEMUL.hints" #Default places to look for devices.
19
20 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
21
22 makeoptions MODULES_OVERRIDE=""
23
24 options DDB
25 options KDB
26
27 # Make an SMP-capable kernel by default
28 options SMP # Symmetric MultiProcessor Kernel
29
30 options SCHED_ULE
31 options INET # InterNETworking
32 options INET6 # IPv6 communications protocols
33
34 options FFS #Berkeley Fast Filesystem
35
36 # Debugging for use in -current
37 #options DEADLKRES #Enable the deadlock resolver
38 options INVARIANTS #Enable calls of extra sanity checking
39 options 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
43 options ROOTDEVNAME=\"ufs:gxemul_disk0\"
44
45 device gxemul_cons
46 device gxemul_disk
47 device gxemul_ether
48
49 # Pseudo devices.
50 device loop # Network loopback
51 device random # Entropy device
52 device ether # Ethernet support
53 device tun # Packet tunnel.
54 device md # Memory "disks"
55 device 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.
60 device bpf # Berkeley packet filter
Cache object: de08b3bc50770e8127c908db03c4a12e
|