1239679Srwatson# 2256912Sbrooks# BERI_DE4_MDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3256912Sbrooks# RISC # Implementation) FPGA soft core, as configured in its Terasic DE-4 4256912Sbrooks# reference configuration. 5239679Srwatson# 6239679Srwatson# $FreeBSD$ 7239679Srwatson# 8239679Srwatson 9291049Simp#NO_UNIVERSE 10291049Simp 11256912Sbrooksinclude "BERI_DE4_BASE" 12239679Srwatson 13239679Srwatsonident BERI_DE4_MDROOT 14239679Srwatson 15239679Srwatson# 16239679Srwatson# This kernel configuration uses an embedded 8MB memory root file system. 17239679Srwatson# Adjust the following path based on local requirements. 18239679Srwatson# 19239679Srwatsonoptions MD_ROOT # MD is a potential root device 20256912Sbrooksoptions MD_ROOT_SIZE=26112 # 25.5MB 21239679Srwatsonoptions ROOTDEVNAME=\"ufs:md0\" 22