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