1239679Srwatson#
2257527Sbrooks# BERI_DE4_SDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3257527Sbrooks# RISC Implementation) FPGA soft core, as configured in its Terasic DE-4
4257527Sbrooks# reference configuration.
5239679Srwatson#
6239679Srwatson# $FreeBSD: releng/10.2/sys/mips/conf/BERI_DE4_SDROOT 257527 2013-11-01 21:15:39Z brooks $
7239679Srwatson#
8239679Srwatson
9257527Sbrooksinclude "BERI_DE4_BASE"
10239679Srwatson
11239679Srwatsonident		BERI_DE4_SDROOT
12239679Srwatson
13257527Sbrooks#
14257527Sbrooks# This kernel expects to find its root filesystem on the SD Card.
15257527Sbrooks#
16257527Sbrooksoptions 	ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\"
17