1
0
mirror of https://git.FreeBSD.org/src.git synced 2024-12-25 11:37:56 +00:00
freebsd/sys/mips/conf/BERI_SIM_BASE
Brooks Davis cb7de87666 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

20 lines
373 B
Plaintext

#
# BERI_SIM_BASE -- Base kernel for the SRI/Cambridge "BERI" (Bluespec
# Extensible RISC Implementation) FPGA soft core, as configured for
# simulation.
#
# $FreeBSD$
#
include "BERI_TEMPLATE"
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