opnsense-src/sys/arm/conf/ARMADAXP
Warner Losh 094fc1ed0f Tag all armv7 kernels as such in their machine config line.
Transition all boards that support arm cortex CPUs to armv7. This
leaves two armv6 kernels in the tree. RPI-B, which uses the BCM2835
which has a ARM1176 core, and VERSATILEPB, which is a qemu board setup
around the time RPI-B went in. Copy std.armv6 to std.armv7, even
though that duplicates a lot of stuff. More work needs to be done to
sort out the duplication.

Differential Revision: https://reviews.freebsd.org/D12027
2017-10-05 23:01:50 +00:00

90 lines
1.8 KiB
Text

#
# 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:
#
# http://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 (http://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