freebsd-nq/sys/arm/conf/SOCKIT-BERI

#
# 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://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$

#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
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`#`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`# 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:`
			`#`
Update several more URLs - Primarily http -> https - Primarily FreeBSD project URLs 2017-10-29 08:17:03 +00:00			`# https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`#`
			`# The handbook is also available locally in /usr/share/doc/handbook`
			`# if you've installed the doc distribution, otherwise always see the`
Update several more URLs - Primarily http -> https - Primarily FreeBSD project URLs 2017-10-29 08:17:03 +00:00			`# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`# 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$`

Add support for Intel Arria 10 SoC Development Kit. Use standard DTS files for SOCKIT and SOCDK. Sponsored by: DARPA, AFRL 2017-02-28 14:02:16 +00:00			`#NO_UNIVERSE`

			`include "SOCFPGA"`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`ident SOCKIT-BERI`

tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`options ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"`

Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`# BERI specific`
			`device beri_ring`
Provide a character device allowing us to access BERI memory regions. Sponsored by: DARPA, AFRL 2014-10-22 11:30:03 +00:00			`device beri_mem`
Add new devices to the config. 2014-11-25 16:24:31 +00:00			`device beri_vtblk`
o Add BERI Virtio Networking Frontend (if_vtbe) o Move similar block/networking methods to common file o Follow r275640 and correct MMIO registers width o Pass value to MMIO platform_note method. Sponsored by: DARPA, AFRL 2014-12-09 16:39:21 +00:00			`device vtbe`
Add new devices to the config. 2014-11-25 16:24:31 +00:00			`device altera_pio`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00
tart to clean up the armv6 kernel configs by reducing the diff between them in the first sections and the later FDT support. Differential Revision: https://reviews.freebsd.org/D1346 Reviewed by: rpaulo (earlier version) 2014-12-21 11:37:00 +00:00			`# Flattened Device Tree`
Add driver for BERI soft processor 'ring buffer' device. Ring device provides a way for communicate to BERI peripherals such as BERI debug unit and console. Sponsored by: DARPA, AFRL 2014-10-19 16:26:49 +00:00			`options FDT_DTB_STATIC`
Add support for Intel Arria 10 SoC Development Kit. Use standard DTS files for SOCKIT and SOCDK. Sponsored by: DARPA, AFRL 2017-02-28 14:02:16 +00:00			`makeoptions FDT_DTS_FILE=socfpga_cyclone5_sockit_beri_sdmmc.dts`