#
# BERI_DE4 -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC
# Implementation) FPGA soft core, as configured in its Terasic DE-4 reference
# configuration.
#
# $FreeBSD: head/sys/mips/conf/BERI_DE4_SDROOT 239685 2012-08-25 18:08:20Z brooks $
#

include "BERI_TEMPLATE"

ident		BERI_DE4_SDROOT

hints		"BERI_DE4.hints"	#Default places to look for devices.

options 	ROOTDEVNAME=\"ufs:altera_sdcard0\"

device		altera_avgen
device		altera_jtag_uart
device		altera_sdcard

device		isf
#device		sc