2 # Custom kernel for Marvell DB-78xx boards.
9 include "../mv/discovery/std.db78xxx"
11 options SOC_MV_DISCOVERY
13 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
14 makeoptions WERROR="-Werror"
16 options SCHED_4BSD # 4BSD scheduler
17 options INET # InterNETworking
18 options INET6 # IPv6 communications protocols
19 options GEOM_PART_BSD # BSD partition scheme
20 options GEOM_PART_MBR # MBR partition scheme
21 options TMPFS # Efficient memory filesystem
22 options FFS # Berkeley Fast Filesystem
23 options NANDFS # NAND Filesystem
24 options NFSCL # Network Filesystem Client
25 options NFSLOCKD # Network Lock Manager
26 options NFS_ROOT # NFS usable as /, requires NFSCL
30 options BOOTP_WIRED_TO=mge0
32 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
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
44 options ALT_BREAK_TO_DEBUGGER
46 #options DEADLKRES # Enable the deadlock resolver
48 #options INVARIANTS # Enable calls of extra sanity checking
49 #options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
51 options WITNESS # Enable checks to detect deadlocks and cycles
52 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
67 device mge # Marvell Gigabit Ethernet controller
74 options USB_DEBUG # enable debug msgs
93 # Flattened Device Tree
95 options FDT_DTB_STATIC
96 makeoptions FDT_DTS_FILE=db78100.dts