2 # Custom kernel for Marvell DB-88F5xxx boards.
8 include "../mv/orion/std.db88f5xxx"
11 makeoptions MODULES_OVERRIDE=""
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 NFSCL #New Network Filesystem Client
24 options NFSLOCKD #Network Lock Manager
25 options NFS_ROOT #NFS usable as /, requires NFSCL
29 options BOOTP_WIRED_TO=mge0
31 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
33 options SYSVSHM #SYSV-style shared memory
34 options SYSVMSG #SYSV-style message queues
35 options SYSVSEM #SYSV-style semaphores
36 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
37 options MUTEX_NOINLINE
38 options RWLOCK_NOINLINE
39 options NO_FFS_SNAPSHOT
43 options ALT_BREAK_TO_DEBUGGER
45 #options DEADLKRES #Enable the deadlock resolver
47 #options INVARIANTS #Enable calls of extra sanity checking
48 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
50 options WITNESS #Enable checks to detect deadlocks and cycles
51 options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
66 device mge # Marvell Gigabit Ethernet controller
70 options DEVICE_POLLING
79 options USB_DEBUG # enable debug msgs
90 # Flattened Device Tree
92 makeoptions FDT_DTS_FILE=db88f5281.dts