2 # Custom kernel for RT1310 boards.
6 # TODO: This fails to build under universe, irnore it until it's fixed
13 # Flattened Device Tree
15 options FDT_DTB_STATIC
16 makeoptions FDT_DTS_FILE=wzr2-g300n.dts
18 makeoptions MODULES_OVERRIDE=""
20 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
21 makeoptions WERROR="-Werror"
23 options SCHED_4BSD # 4BSD scheduler
24 options INET # InterNETworking
25 options FFS # Berkeley Fast Filesystem
26 options TMPFS # Efficient memory filesystem
29 options ROOTDEVNAME=\"cd9660:/dev/cfid0s.rootfs.uzip\"
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
41 options ALT_BREAK_TO_DEBUGGER
43 #options DEADLKRES # Enable the deadlock resolver
45 #options INVARIANTS # Enable calls of extra sanity checking
46 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
48 options WITNESS # Enable checks to detect deadlocks and cycles
49 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed