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
29 #options VERBOSE_SYSINIT
30 options ALT_BREAK_TO_DEBUGGER
34 options INVARIANTS # Enable calls of extra sanity checking
35 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
38 #options WITNESS # Enable checks to detect deadlocks and cycles
39 #options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
63 # Interrupt controllers
86 options FDT_DTB_STATIC
87 makeoptions FDT_DTS_FILE=armada-388-gp.dts