df201b82d3
exist they don't cause "make tinderbox" to fail. Reported by: jhb
25 lines
585 B
Plaintext
25 lines
585 B
Plaintext
#
|
|
# BERI_SIM -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC
|
|
# Implementation) FPGA soft core, as configured for simulation.
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
include "BERI_TEMPLATE"
|
|
|
|
ident BERI_SIM_MDROOT
|
|
|
|
hints "BERI_SIM.hints" #Default places to look for devices.
|
|
|
|
#
|
|
# This kernel configuration uses an embedded 8MB memory root file system.
|
|
# Adjust the following path based on local requirements.
|
|
#
|
|
options MD_ROOT # MD is a potential root device
|
|
options MD_ROOT_SIZE=8192
|
|
options ROOTDEVNAME=\"ufs:md0\"
|
|
|
|
device altera_avgen
|
|
device altera_jtag_uart
|
|
device altera_sdcard
|