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 8291049Simp#NO_UNIVERSE 9291049Simp 10256912Sbrooksinclude "BERI_SIM_BASE" 11256912Sbrooks 12256912Sbrooksident BERI_SIM_SDROOT 13256912Sbrooks 14256912Sbrooks# 15256912Sbrooks# This kernel expects to find its root filesystem on the SD Card. 16256912Sbrooks# 17256912Sbrooksoptions ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\" 18