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$ 7# 8 9#NO_UNIVERSE 10 11include "BERI_DE4_BASE" 12 13ident BERI_DE4_SDROOT 14 15# 16# This kernel expects to find its root filesystem on the SD Card. 17# 18options ROOTDEVNAME=\"ufs:/dev/altera_sdcard0\" 19