ARMADA38X revision 296825
1# 2# Kernel configuration for Marvell Armada38x 3# 4# $FreeBSD: head/sys/arm/conf/ARMADA38X 296825 2016-03-14 07:05:41Z wma $ 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 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