1# 2# Kernel configuration for Marvell Armada38x 3# 4# $FreeBSD$ 5# 6 7include "../mv/armada38x/std.armada38x" 8include "std.armv6" 9 10ident ARMADA38X 11 12options SOC_MV_ARMADA38X 13 14makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 15makeoptions WERROR="-Werror" 16 17options MD_ROOT 18#makeoptions MFS_IMAGE=/path/to/miniroot 19#options ROOTDEVNAME=\"ufs:md0\" 20options ROOTDEVNAME=\"/dev/da0s1a\" 21 22options SCHED_ULE # ULE scheduler 23#options SCHED_4BSD # 4BSD scheduler 24 25options SMP 26 27# Debugging 28#options DEBUG 29#options VERBOSE_SYSINIT 30options ALT_BREAK_TO_DEBUGGER 31options DDB 32#options GDB 33#options DIAGNOSTIC 34options INVARIANTS # Enable calls of extra sanity checking 35options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 36options KDB 37options KDB_TRACE 38#options WITNESS # Enable checks to detect deadlocks and cycles 39#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 40#options WITNESS_KDB 41#options BOOTVERBOSE 42 43# Pseudo devices 44device random 45device pty 46device loop 47device md 48 49# Serial ports 50device uart 51device uart_ns8250 52 53# Network 54device ether 55device vlan 56device mii 57device bpf 58device re 59 60# PCI 61device pci 62 63# Interrupt controllers 64device gic 65 66# Timers 67device mpcore_timer 68 69# USB 70device usb 71device ehci 72device umass 73device scbus 74device pass 75device da 76 77# I2C 78device iic 79device iicbus 80 81#FDT 82options FDT 83options FDT_DTB_STATIC 84makeoptions FDT_DTS_FILE=armada-388-gp.dts 85