1# 2# BERI_DE4_MDROOT -- 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_MDROOT 257527 2013-11-01 21:15:39Z brooks $ 7# 8 9include "BERI_DE4_BASE" 10 11ident BERI_DE4_MDROOT 12 13# 14# This kernel configuration uses an embedded 8MB memory root file system. 15# Adjust the following path based on local requirements. 16# 17options MD_ROOT # MD is a potential root device 18options MD_ROOT_SIZE=26112 # 25.5MB 19options ROOTDEVNAME=\"ufs:md0\" 20