2 # Kernel configuration for Marvell Armada38x
7 include "../mv/armada38x/std.armada38x"
12 options SOC_MV_ARMADA38X
14 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
15 makeoptions WERROR="-Werror"
18 #makeoptions MFS_IMAGE=/path/to/miniroot
19 #options ROOTDEVNAME=\"ufs:md0\"
20 options ROOTDEVNAME=\"/dev/da0s1a\"
22 options SCHED_ULE # ULE scheduler
23 #options SCHED_4BSD # 4BSD scheduler
30 #options VERBOSE_SYSINIT
31 options ALT_BREAK_TO_DEBUGGER
35 options INVARIANTS # Enable calls of extra sanity checking
36 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
39 #options WITNESS # Enable checks to detect deadlocks and cycles
40 #options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
64 # Interrupt controllers
87 options FDT_DTB_STATIC
88 makeoptions FDT_DTS_FILE=armada-388-gp.dts