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