freebsd-dev/sys/arm/conf/ARMADA38X
Jared McNeill b738dafd90 Move support for Synopsys Designware APB UART out of ns8250 and into a
separate driver. Add support for activating clock and hwreset resources
for these devices when the EXT_RESOURCES option is present.

Reviewed by:		andrew, mmel, Emmanuel Vadot <manu@bidouilliste.com>
Approved by:		adrian (mentor)
Differential Revision:	https://reviews.freebsd.org/D5749
2016-04-01 20:26:45 +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 ARM_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