7b957f4fe7
Terasic DE-4 board. Allow LED configuration to be set using loader tunables, not just from userspace, and preconfigure LED 8 as a kernel heartbeat. For now, this is a Nexus-attached, BERI-only driver, but it could be used with other hard and soft cores on Altera FPGAs as well, in principle. Sponsored by: DARPA, AFRL
25 lines
481 B
Plaintext
25 lines
481 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_SDROOT
|
|
|
|
hints "BERI_DE4.hints" #Default places to look for devices.
|
|
|
|
options ROOTDEVNAME=\"ufs:altera_sdcard0\"
|
|
|
|
device altera_avgen
|
|
device altera_jtag_uart
|
|
device altera_sdcard
|
|
device terasic_de4led
|
|
device terasic_mtl
|
|
|
|
device isf
|
|
device sc
|