1*a9643ea8Slogwang# 2*a9643ea8Slogwang# BERI_SIM_SDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3*a9643ea8Slogwang# RISC Implementation) FPGA soft core, as configured for simulation. 4*a9643ea8Slogwang# 5*a9643ea8Slogwang# $FreeBSD$ 6*a9643ea8Slogwang# 7*a9643ea8Slogwang 8*a9643ea8Slogwang#NO_UNIVERSE 9*a9643ea8Slogwang 10*a9643ea8Slogwanginclude "BERI_SIM_BASE" 11*a9643ea8Slogwang 12*a9643ea8Slogwangident BERI_SIM_SDROOT 13*a9643ea8Slogwang 14*a9643ea8Slogwang# 15*a9643ea8Slogwang# This kernel expects to find its root filesystem on the SD Card. 16*a9643ea8Slogwang# 17*a9643ea8Slogwangoptions ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\" 18