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 26options ARM_INTRNG 27 28# Debugging 29#options DEBUG 30#options VERBOSE_SYSINIT 31options ALT_BREAK_TO_DEBUGGER 32options DDB 33#options GDB 34#options DIAGNOSTIC 35options INVARIANTS # Enable calls of extra sanity checking 36options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 37options KDB 38options KDB_TRACE 39#options WITNESS # Enable checks to detect deadlocks and cycles 40#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 41#options WITNESS_KDB 42#options BOOTVERBOSE 43 44# Pseudo devices 45device random 46device pty 47device loop 48device md 49 50# Serial ports 51device uart 52device uart_ns8250 53 54# Network 55device ether 56device vlan 57device mii 58device bpf 59device re 60 61# PCI 62device pci 63 64# Interrupt controllers 65device gic 66options ARM_INTRNG 67 68# Timers 69device mpcore_timer 70 71# USB 72device usb 73device ehci 74device xhci 75device umass 76device scbus 77device pass 78device da 79 80# I2C 81device iic 82device iicbus 83device twsi 84 85#FDT 86options FDT 87options FDT_DTB_STATIC 88makeoptions FDT_DTS_FILE=armada-388-gp.dts 89