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 65options ARM_INTRNG 66 67# Timers 68device mpcore_timer 69 70# USB 71device usb 72device ehci 73device umass 74device scbus 75device pass 76device da 77 78# I2C 79device iic 80device iicbus 81device twsi 82 83#FDT 84options FDT 85options FDT_DTB_STATIC 86makeoptions FDT_DTS_FILE=armada-388-gp.dts 87