1256912Sbrooks# 2256912Sbrooks# BERI_SIM_SDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3256912Sbrooks# RISC Implementation) FPGA soft core, as configured for simulation. 4256912Sbrooks# 5256912Sbrooks# $FreeBSD$ 6256912Sbrooks# 7256912Sbrooks 8256912Sbrooksinclude "BERI_SIM_BASE" 9256912Sbrooks 10256912Sbrooksident BERI_SIM_SDROOT 11256912Sbrooks 12256912Sbrooks# 13256912Sbrooks# This kernel expects to find its root filesystem on the SD Card. 14256912Sbrooks# 15256912Sbrooksoptions ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\" 16