freebsd-skq/sys/arm/conf/ARMADAXP
mw 06ba4aaddd Enable ArmadaXP using INTRNG interrupt controller
Defining INTRNG remove some necessary registers and declarations of
pic_init_secondary, pic_ipi_send, pic_ipi_read and pic_ipi_clear.
Because Marvell ArmadaXP and Armada38X always use INTRNG, include all
INTRNG code and remove code that does not use it.
Separate pic registers declarations for Armada38X are unnecessary, it
works properly with ArmadaXP config.

Submitted by: Rafal Kozik <rk@semihalf.com>
Reviewed by: andrew
Obtained from: Semihalf
Sponsored by: Stormshield
Differential Revision: https://reviews.freebsd.org/D14734
2018-04-03 21:17:19 +00:00

93 lines
1.8 KiB
Plaintext

#
# Custom kernel for Marvell Armada XP
#
# For more information on this file, please read the config(5) manual page,
# and/or the handbook section on Kernel Configuration Files:
#
# https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
#
# The handbook is also available locally in /usr/share/doc/handbook
# if you've installed the doc distribution, otherwise always see the
# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
# latest information.
#
# An exhaustive list of options and more detailed explanations of the
# device lines is also present in the ../../conf/NOTES and NOTES files.
# If you are in doubt as to the purpose or necessity of a line, check first
# in NOTES.
#
# $FreeBSD$
# TODO: Port to INTRNG
#NO_UNIVERSE
ident MV-88F78XX0
include "std.armv7"
include "../mv/armadaxp/std.mv78x60"
options SOC_MV_ARMADAXP
makeoptions WERROR="-Werror"
options SCHED_ULE # ULE scheduler
options SMP # Enable multiple cores
# NFS root from boopt/dhcp
options BOOTP
options BOOTP_NFSROOT
options BOOTP_NFSV3
options BOOTP_WIRED_TO=mge0
options ROOTDEVNAME=\"ufs:/dev/da0p1\"
options MUTEX_NOINLINE
options RWLOCK_NOINLINE
options NO_FFS_SNAPSHOT
options NO_SWAPPING
# Pseudo devices
device random
device pty
device loop
device md
# USB
device usb
device ehci
device umass
device scbus
device pass
device da
# SATA
device mvs
# Serial ports
device uart
# I2C (TWSI)
device iic
device iicbus
device twsi
#Network
device ether
device mge # Marvell Gigabit Ethernet controller
device mii
device mdio
device e1000phy
device bpf
options DEVICE_POLLING
device vlan
#PCI/PCIE
device pci
# Flattened Device Tree
options FDT # Configure using FDT/DTB data
options FDT_DTB_STATIC
makeoptions FDT_DTS_FILE=db78460.dts
options INTRNG