2 # Custom kernel for Marvell DB-88F6xxx boards.
9 include "../mv/kirkwood/std.db88f6xxx"
11 options SOC_MV_KIRKWOOD
13 makeoptions WERROR="-Werror"
15 options SCHED_4BSD # 4BSD scheduler
16 options INET # InterNETworking
17 options INET6 # IPv6 communications protocols
18 options FFS # Berkeley Fast Filesystem
19 options NANDFS # NAND Filesystem
20 options NFSCL # Network Filesystem Client
21 options NFSLOCKD # Network Lock Manager
22 options NFS_ROOT # NFS usable as /, requires NFSCL
23 options TMPFS # Efficient memory filesystem
24 options GEOM_PART_BSD # BSD partition scheme
25 options GEOM_PART_MBR # MBR partition scheme
26 options SYSVSHM # SYSV-style shared memory
27 options SYSVMSG # SYSV-style message queues
28 options SYSVSEM # SYSV-style semaphores
29 options _KPOSIX_PRIORITY_SCHEDULING # POSIX P1003_1B real-time extensions
30 options MUTEX_NOINLINE
31 options RWLOCK_NOINLINE
32 options NO_FFS_SNAPSHOT
35 # Debugging for use in -current
36 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
37 options ALT_BREAK_TO_DEBUGGER
38 options KDB # Enable kernel debugger support
39 options DDB # Enable the kernel debugger
40 #options DEADLKRES # Enable the deadlock resolver
41 #options INVARIANTS # Enable calls of extra sanity checking
42 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
43 options WITNESS # Enable checks to detect deadlocks and cycles
44 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
48 # NFS root from boopt/dhcp
52 options BOOTP_WIRED_TO=mge0
54 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
68 device mge # Marvell Gigabit Ethernet controller
74 device cesa # Marvell security engine
79 options USB_DEBUG # enable debug msgs
97 # Flattened Device Tree
98 options FDT # Configure using FDT/DTB data
99 options FDT_DTB_STATIC
100 makeoptions FDT_DTS_FILE=db88f6281.dts