freebsd-dev/sys/arm/conf/ARMADA38X
Andrew Turner 59c3cb81c1 Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine
independent code that needs to know about INTRNG such as PCI drivers.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation
2016-04-15 16:05:41 +00:00

88 lines
1.5 KiB
Plaintext

#
# Kernel configuration for Marvell Armada38x
#
# $FreeBSD$
#
include "../mv/armada38x/std.armada38x"
include "std.armv6"
ident ARMADA38X
options SOC_MV_ARMADA38X
makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
makeoptions WERROR="-Werror"
options MD_ROOT
#makeoptions MFS_IMAGE=/path/to/miniroot
#options ROOTDEVNAME=\"ufs:md0\"
options ROOTDEVNAME=\"/dev/da0s1a\"
options SCHED_ULE # ULE scheduler
#options SCHED_4BSD # 4BSD scheduler
options SMP
# Debugging
#options DEBUG
#options VERBOSE_SYSINIT
options ALT_BREAK_TO_DEBUGGER
options DDB
#options GDB
#options DIAGNOSTIC
options INVARIANTS # Enable calls of extra sanity checking
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
options KDB
options KDB_TRACE
#options WITNESS # Enable checks to detect deadlocks and cycles
#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
#options WITNESS_KDB
#options BOOTVERBOSE
# Pseudo devices
device random
device pty
device loop
device md
# Serial ports
device uart
device uart_snps
# Network
device ether
device vlan
device mii
device bpf
device re
# PCI
device pci
# Interrupt controllers
device gic
options INTRNG
# Timers
device mpcore_timer
# USB
device usb
device ehci
device xhci
device umass
device scbus
device pass
device da
# I2C
device iic
device iicbus
device twsi
#FDT
options FDT
options FDT_DTB_STATIC
makeoptions FDT_DTS_FILE=armada-388-gp.dts