2 # Custom kernel for Toshiba AC100
8 include "../tegra/std.tegra2"
10 makeoptions MODULES_OVERRIDE=""
12 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
13 makeoptions WERROR="-Werror"
15 #options SCHED_ULE # ULE scheduler
16 options SCHED_4BSD # 4BSD scheduler
17 options INET # InterNETworking
18 #options INET6 # IPv6 communications protocols
19 options FFS # Berkeley Fast Filesystem
20 #options NFSCL # Network Filesystem Client
21 #options NFSLOCKD # Network Lock Manager
22 #options NFS_ROOT # NFS usable as /, requires NFSCLIENT
24 #options BOOTP_NFSROOT
26 #options BOOTP_WIRED_TO=mge0
28 options TMPFS # Efficient memory filesystem
29 options GEOM_PART_BSD # BSD partition scheme
30 options GEOM_PART_MBR # MBR partition scheme
32 options ROOTDEVNAME=\"ufs:/dev/da0p1\"
34 options SYSVSHM # SYSV-style shared memory
35 options SYSVMSG # SYSV-style message queues
36 options SYSVSEM # SYSV-style semaphores
37 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
38 options MUTEX_NOINLINE
39 options RWLOCK_NOINLINE
40 options NO_FFS_SNAPSHOT
46 options VERBOSE_SYSINIT
47 #options ALT_BREAK_TO_DEBUGGER
51 options INVARIANTS # Enable calls of extra sanity checking
52 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
56 #options KTR_VERBOSE=0
57 #options KTR_ENTRIES=16384
58 #options KTR_MASK=(KTR_SPARE2)
59 #options KTR_COMPILE=KTR_ALL
60 options WITNESS # Enable checks to detect deadlocks and cycles
61 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
72 #options USB_DEBUG # enable debug msgs
96 options FDT_DTB_STATIC
97 makeoptions FDT_DTS_FILE=tegra20-paz00.dts