2 # Custom kernel for Marvell Armada XP
8 include "../mv/armadaxp/std.mv78x60"
10 options SOC_MV_ARMADAXP
11 makeoptions MODULES_OVERRIDE=""
13 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14 makeoptions WERROR="-Werror"
16 #options SCHED_ULE #ULE scheduler
17 options SCHED_4BSD #4BSD scheduler
18 options INET #InterNETworking
19 options INET6 #IPv6 communications protocols
20 options FFS #Berkeley Fast Filesystem
21 options NFSCL #Network Filesystem Client
22 options NFSLOCKD #Network Lock Manager
23 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
27 options BOOTP_WIRED_TO=mge0
30 options ROOTDEVNAME=\"ufs:/dev/da0p1\"
32 options SYSVSHM #SYSV-style shared memory
33 options SYSVMSG #SYSV-style message queues
34 options SYSVSEM #SYSV-style semaphores
35 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
36 options MUTEX_NOINLINE
37 options RWLOCK_NOINLINE
38 options NO_FFS_SNAPSHOT
45 #options VERBOSE_SYSINIT
46 options ALT_BREAK_TO_DEBUGGER
50 #options INVARIANTS #Enable calls of extra sanity checking
51 #options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
55 #options KTR_VERBOSE=0
56 #options KTR_ENTRIES=16384
57 #options KTR_MASK=(KTR_SPARE2)
58 #options KTR_COMPILE=KTR_ALL
59 #options WITNESS #Enable checks to detect deadlocks and cycles
60 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
70 options USB_DEBUG # enable debug msgs
91 device mge # Marvell Gigabit Ethernet controller
96 options DEVICE_POLLING
104 options FDT_DTB_STATIC
105 makeoptions FDT_DTS_FILE=db78460.dts