1239679Srwatson#
2256912Sbrooks# BERI_DE4_SDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3256912Sbrooks# RISC Implementation) FPGA soft core, as configured in its Terasic DE-4
4256912Sbrooks# reference configuration.
5239679Srwatson#
6239679Srwatson# $FreeBSD$
7239679Srwatson#
8239679Srwatson
9291049Simp#NO_UNIVERSE
10291049Simp
11256912Sbrooksinclude "BERI_DE4_BASE"
12239679Srwatson
13239679Srwatsonident		BERI_DE4_SDROOT
14239679Srwatson
15256912Sbrooks#
16256912Sbrooks# This kernel expects to find its root filesystem on the SD Card.
17256912Sbrooks#
18256912Sbrooksoptions 	ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\"
19