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
29 options ROOTDEVNAME=\"ufs:/dev/da0p1\"
31 options SYSVSHM #SYSV-style shared memory
32 options SYSVMSG #SYSV-style message queues
33 options SYSVSEM #SYSV-style semaphores
34 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
35 options MUTEX_NOINLINE
36 options RWLOCK_NOINLINE
37 options NO_FFS_SNAPSHOT
43 options VERBOSE_SYSINIT
44 #options ALT_BREAK_TO_DEBUGGER
48 options INVARIANTS #Enable calls of extra sanity checking
49 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
53 #options KTR_VERBOSE=0
54 #options KTR_ENTRIES=16384
55 #options KTR_MASK=(KTR_SPARE2)
56 #options KTR_COMPILE=KTR_ALL
57 options WITNESS #Enable checks to detect deadlocks and cycles
58 options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
69 #options USB_DEBUG # enable debug msgs
93 options FDT_DTB_STATIC
94 makeoptions FDT_DTS_FILE=tegra20-paz00.dts