mirror of
https://github.com/opnsense/src.git
synced 2026-06-09 08:43:19 -04:00
arm: Remove SOCFPGA specific kernel configs
We had GENERIC for a while now so anyone still interested in those boards should make sure that we can boot on them with it and with upstream DTS files. Sponsored by: Beckhoff Automation GmbH & Co. KG Reviewed by: br Differential Revision: https://reviews.freebsd.org/D39088
This commit is contained in:
parent
a4f8318ace
commit
949efdaa1d
4 changed files with 0 additions and 207 deletions
|
|
@ -1,30 +0,0 @@
|
|||
#
|
||||
# Kernel configuration for Altera Arria10 SOC Development Kit.
|
||||
#
|
||||
# For more information on this file, please read the config(5) manual page,
|
||||
# and/or the handbook section on Kernel Configuration Files:
|
||||
#
|
||||
# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
|
||||
#
|
||||
# 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$
|
||||
|
||||
#NO_UNIVERSE
|
||||
|
||||
include "SOCFPGA"
|
||||
ident SOCDK
|
||||
|
||||
options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
|
||||
|
||||
# Flattened Device Tree
|
||||
options FDT_DTB_STATIC
|
||||
makeoptions FDT_DTS_FILE=socfpga_arria10_socdk_sdmmc.dts
|
||||
|
|
@ -1,110 +0,0 @@
|
|||
#
|
||||
# Kernel configuration for Altera SOCFPGA development kits.
|
||||
#
|
||||
# For more information on this file, please read the config(5) manual page,
|
||||
# and/or the handbook section on Kernel Configuration Files:
|
||||
#
|
||||
# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
|
||||
#
|
||||
# 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$
|
||||
|
||||
#NO_UNIVERSE
|
||||
|
||||
ident SOCFPGA
|
||||
include "std.armv7"
|
||||
include "../altera/socfpga/std.socfpga"
|
||||
|
||||
makeoptions MODULES_OVERRIDE=""
|
||||
|
||||
options SCHED_ULE # ULE scheduler
|
||||
options PLATFORM # Platform based SoC
|
||||
options SMP # Enable multiple cores
|
||||
|
||||
options SOC_ALTERA_ARRIA10
|
||||
options SOC_ALTERA_CYCLONE5
|
||||
|
||||
# NFS root from boopt/dhcp
|
||||
#options BOOTP
|
||||
#options BOOTP_NFSROOT
|
||||
#options BOOTP_COMPAT
|
||||
#options BOOTP_NFSV3
|
||||
#options BOOTP_WIRED_TO=ue0
|
||||
|
||||
# pseudo devices
|
||||
device clk
|
||||
device phy
|
||||
device hwreset
|
||||
device nvmem
|
||||
device regulator
|
||||
device syscon
|
||||
|
||||
# Interrupt controller
|
||||
device gic
|
||||
|
||||
# ARM MPCore timer
|
||||
device mpcore_timer
|
||||
|
||||
# DMA support
|
||||
device xdma
|
||||
device pl330
|
||||
|
||||
# MMC/SD/SDIO Card slot support
|
||||
device mmc # mmc/sd bus
|
||||
device mmcsd # mmc/sd flash cards
|
||||
device dwmmc
|
||||
|
||||
# Pseudo devices
|
||||
|
||||
device loop
|
||||
device pty
|
||||
device md
|
||||
device gpio
|
||||
|
||||
# USB support
|
||||
options USB_HOST_ALIGN=64 # Align usb buffers to cache line size.
|
||||
device usb
|
||||
device dwcotg
|
||||
|
||||
device umass
|
||||
device scbus # SCSI bus (required for ATA/SCSI)
|
||||
device da # Direct Access (disks)
|
||||
device pass
|
||||
|
||||
# Serial ports
|
||||
device uart
|
||||
device uart_snps
|
||||
|
||||
# I2C (TWSI)
|
||||
device iic
|
||||
device iicbus
|
||||
|
||||
# SPI
|
||||
device spibus
|
||||
device cqspi
|
||||
device n25q
|
||||
|
||||
# Ethernet
|
||||
device ether
|
||||
device mii
|
||||
device smsc
|
||||
device smscphy
|
||||
device dwc
|
||||
device micphy
|
||||
|
||||
# USB ethernet support, requires miibus
|
||||
device miibus
|
||||
device axe # ASIX Electronics USB Ethernet
|
||||
device bpf # Berkeley packet filter
|
||||
|
||||
# Flattened Device Tree
|
||||
options FDT # Configure using FDT/DTB data
|
||||
|
|
@ -1,30 +0,0 @@
|
|||
#
|
||||
# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC).
|
||||
#
|
||||
# For more information on this file, please read the config(5) manual page,
|
||||
# and/or the handbook section on Kernel Configuration Files:
|
||||
#
|
||||
# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
|
||||
#
|
||||
# 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$
|
||||
|
||||
#NO_UNIVERSE
|
||||
|
||||
include "SOCFPGA"
|
||||
ident SOCKIT
|
||||
|
||||
options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
|
||||
|
||||
# Flattened Device Tree
|
||||
options FDT_DTB_STATIC
|
||||
makeoptions FDT_DTS_FILE=socfpga_cyclone5_sockit_sdmmc.dts
|
||||
|
|
@ -1,37 +0,0 @@
|
|||
#
|
||||
# Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC).
|
||||
#
|
||||
# For more information on this file, please read the config(5) manual page,
|
||||
# and/or the handbook section on Kernel Configuration Files:
|
||||
#
|
||||
# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
|
||||
#
|
||||
# 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$
|
||||
|
||||
#NO_UNIVERSE
|
||||
|
||||
include "SOCFPGA"
|
||||
ident SOCKIT-BERI
|
||||
|
||||
options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
|
||||
|
||||
# BERI specific
|
||||
device beri_ring
|
||||
device beri_mem
|
||||
device beri_vtblk
|
||||
device vtbe
|
||||
device altera_pio
|
||||
|
||||
# Flattened Device Tree
|
||||
options FDT_DTB_STATIC
|
||||
makeoptions FDT_DTS_FILE=socfpga_cyclone5_sockit_beri_sdmmc.dts
|
||||
Loading…
Reference in a new issue