1# 2# BERI_DE4_SDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3# RISC Implementation) FPGA soft core, as configured in its Terasic DE-4 4# reference configuration. 5# 6# $FreeBSD: releng/10.2/sys/mips/conf/BERI_DE4_SDROOT 257527 2013-11-01 21:15:39Z brooks $ 7# 8 9include "BERI_DE4_BASE" 10 11ident BERI_DE4_SDROOT 12 13# 14# This kernel expects to find its root filesystem on the SD Card. 15# 16options ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\" 17