31 lines
683 B
Plaintext
31 lines
683 B
Plaintext
#
|
|
# BERI_DE4 -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC
|
|
# Implementation) FPGA soft core, as configured in its Terasic DE-4 reference
|
|
# configuration.
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
include "BERI_TEMPLATE"
|
|
|
|
ident BERI_DE4_MDROOT
|
|
|
|
hints "BERI_DE4.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
|
|
device terasic_de4led
|
|
device terasic_mtl
|
|
|
|
device isf
|
|
device sc
|