]> CyberLeo.Net >> Repos - FreeBSD/releng/10.0.git/blob - sys/mips/conf/GXEMUL
- Copy stable/10 (r259064) to releng/10.0 as part of the
[FreeBSD/releng/10.0.git] / sys / mips / conf / GXEMUL
1 #
2 # GXEMUL "oldtestmips" sample kernel configuration.
3 #
4 # $FreeBSD$
5 #
6
7 ident           GXEMUL
8
9 machine         mips mips64
10 cpu             CPU_MIPS4KC
11
12 options         HZ=100
13
14 makeoptions     ARCH_FLAGS="-march=mips64 -mabi=64"
15
16 makeoptions     KERNLOADADDR=0xffffffff80100000
17
18 include         "../gxemul/std.gxemul"
19
20 hints           "GXEMUL.hints"          #Default places to look for devices.
21
22 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
23
24 makeoptions     MODULES_OVERRIDE=""
25
26 options         DDB
27 options         KDB
28
29 # Make an SMP-capable kernel by default
30 options         SMP                     # Symmetric MultiProcessor Kernel
31
32 options         SCHED_ULE
33 options         INET                    # InterNETworking
34 options         INET6                   # IPv6 communications protocols
35
36 options         FFS                     #Berkeley Fast Filesystem
37
38 # Debugging for use in -current
39 #options        DEADLKRES               #Enable the deadlock resolver
40 options         INVARIANTS              #Enable calls of extra sanity checking
41 options         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
45 options         ROOTDEVNAME=\"ufs:gxemul_disk0\"
46
47 device          gxemul_cons
48 device          gxemul_disk
49 device          gxemul_ether
50
51 # Pseudo devices.
52 device          loop            # Network loopback
53 device          random          # Entropy device
54 device          ether           # Ethernet support
55 device          tun             # Packet tunnel.
56 device          md              # Memory "disks"
57 device          gif             # IPv6 and IPv4 tunneling
58 device          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.
63 device          bpf             # Berkeley packet filter