FreeBSD/Linux Kernel Cross Reference
sys/mips/conf/XLR64
1 # XLR64 -- Kernel configuration file for N64 kernel on XLR/XLS
2 #
3 # For more information on this file, please read the handbook section on
4 # Kernel Configuration Files:
5 #
6 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
7 #
8 # The handbook is also available locally in /usr/share/doc/handbook
9 # if you've installed the doc distribution, otherwise always see the
10 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
11 # latest information.
12 #
13 # An exhaustive list of options and more detailed explanations of the
14 # device lines is also present in the ../../conf/NOTES and NOTES files.
15 # If you are in doubt as to the purpose or necessity of a line, check first
16 # in NOTES.
17 #
18 # $FreeBSD: releng/8.3/sys/mips/conf/XLR64 215938 2010-11-27 12:26:40Z jchandra $
19
20 machine mips
21 cpu CPU_RMI
22 ident XLR64
23
24 makeoptions MODULES_OVERRIDE=""
25 makeoptions TARGET_BIG_ENDIAN
26
27 include "../rmi/std.xlr"
28
29 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
30 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
31 makeoptions LDSCRIPT_NAME=ldscript.mips.64
32
33 #profile 2
34
35 options SCHED_ULE # ULE scheduler
36 #options VERBOSE_SYSINIT
37 #options SCHED_4BSD # 4BSD scheduler
38 #options SMP
39 #options PREEMPTION # Enable kernel thread preemption
40 #options FULL_PREEMPTION # Enable kernel thread preemption
41 options INET # InterNETworking
42 options INET6 # IPv6 communications protocols
43 options FFS # Berkeley Fast Filesystem
44 #options SOFTUPDATES # Enable FFS soft updates support
45 options UFS_ACL # Support for access control lists
46 options UFS_DIRHASH # Improve performance on big directories
47 options NFSCLIENT
48 options NFS_ROOT
49 #
50 options BOOTP
51 options BOOTP_NFSROOT
52 options BOOTP_NFSV3
53 options BOOTP_WIRED_TO=nlge0
54 options BOOTP_COMPAT
55 options ROOTDEVNAME=\"nfs:10.1.1.8:/usr/extra/nfsroot\"
56 #
57 #options MD_ROOT # MD is a potential root device
58 #options MD_ROOT_SIZE=27000
59 #options MD_ROOT_SIZE=5120
60 #options ROOTDEVNAME=\"ufs:md0\"
61 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
62 options HZ=1000
63 options NO_SWAPPING
64
65 #Debugging options
66 options KTRACE # ktrace(1) support
67 options DDB
68 options KDB
69 options GDB
70 options ALT_BREAK_TO_DEBUGGER
71 #options DEADLKRES #Enable the deadlock resolver
72 options INVARIANTS #Enable calls of extra sanity checking
73 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
74 #options WITNESS #Enable checks to detect deadlocks and cycles
75 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
76 #options KTR # ktr(4) and ktrdump(8) support
77 #options KTR_COMPILE=(KTR_LOCK|KTR_PROC|KTR_INTR|KTR_CALLOUT|KTR_UMA|KTR_SYSC|KTR_CRITICAL)
78 #options KTR_ENTRIES=131072
79 #options MUTEX_DEBUG
80 #options MUTEX_PROFILING
81
82 device pci
83 #device ata
84 #device atadisk
85 #options XLR_PERFMON # Enable XLR processor activity monitoring
86 options BREAK_TO_DEBUGGER
87 #device genclock
88 device uart
89 # Pseudo
90 device loop
91 device random
92 device md
93 device mem
94 device pty
95 device bpf
96
97 # Network
98 device miibus
99 device nlge
100 device ether
101 device re
102 device msk
103
104 device da
105 device scbus
106 #device ohci # OHCI PCI->USB interface
107 device ehci # EHCI PCI->USB interface (USB 2.0)
108 device usb # USB Bus (required)
109 options USB_DEBUG # enable debug msgs
110 #device udbp # USB Double Bulk Pipe devices
111 #device ugen # Generic
112 #device uhid # "Human Interface Devices"
113 device umass # Disks/Mass storage - Requires scbus and da
114
115 #device cfi
116
117 #i2c
118 # Not yet
119 #device ic
120 #device iic
121 #device iicbb
122 #device iicbus
123 #device xlr_rtc
124 #device xlr_temperature
125 #device xlr_eeprom
126
127 #crypto
128 # Not yet
129 #device cryptodev
130 #device crypto
131 #device rmisec
132 options ISA_MIPS64
133 makeoptions KERNLOADADDR=0xffffffff80100000
Cache object: 064486551dcc64761388c24ec83ed6ad
|