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_snps 52 53# Network 54device ether 55device vlan 56device mii 57device bpf 58device re 59 60# PCI 61device pci 62 63# Interrupt controllers 64device gic 65options INTRNG 66 67# Timers 68device mpcore_timer 69 70# USB 71device usb 72device ehci 73device xhci 74device umass 75device scbus 76device pass 77device da 78 79# I2C 80device iic 81device iicbus 82device twsi 83 84#FDT 85options FDT 86options FDT_DTB_STATIC 87makeoptions FDT_DTS_FILE=armada-388-gp.dts 88