freebsd-nq/sys/mips/conf/BERI_SIM_BASE

#
# BERI_SIM_BASE -- Base kernel for the SRI/Cambridge "BERI" (Bluespec
# Extensible RISC Implementation) FPGA soft core, as configured for
# simulation.
#
# $FreeBSD$
#

#NO_UNIVERSE

include "std.BERI"

options 	FDT
options 	FDT_DTB_STATIC
makeoptions	FDT_DTS_FILE=beri-sim.dts

options 	ALTERA_SDCARD_FAST_SIM

device		altera_avgen
device		altera_jtag_uart
device		altera_sdcard
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00			`#`
			`# BERI_SIM_BASE -- Base kernel for the SRI/Cambridge "BERI" (Bluespec`
			`# Extensible RISC Implementation) FPGA soft core, as configured for`
			`# simulation.`
			`#`
			`# $FreeBSD$`
			`#`

Fix and shorten BERI kernel builds during universe. Stop building BERI_DE4_BASE and BERI_SIM_BASE, they aren't particularly valid as they don't have a root dev. Do build BERI_DE4_SDROOT which does so devices get coverage. Remove ident from BERI_DE4_BASE for the reasons above which will cause it to fail to build. BERI_SIM_BASE was already this way and broke universe.[0] Reported by: rpokala Sponsored by: DARPA, AFRL 2017-02-23 20:41:55 +00:00			`#NO_UNIVERSE`

Rename BERI_TEMPLATE to std.BERI to be more like other configs. Sponsored by: DARPA, AFRL 2017-02-21 17:34:27 +00:00			`include "std.BERI"`
Sync BERI kernel configs with P4: Switch the majority of device configuration to FDT from hints. Add BERI_*_BASE configs to reduce duplication in the MDROOT and SDROOT kernels. Add NFS and GSSAPI support by default. MFC after: 3 days Sponsored by: DARPA/AFRL 2013-10-22 15:45:31 +00:00
			`options FDT`
			`options FDT_DTB_STATIC`
			`makeoptions FDT_DTS_FILE=beri-sim.dts`

			`options ALTERA_SDCARD_FAST_SIM`

			`device altera_avgen`
			`device altera_jtag_uart`
			`device altera_sdcard`