4a9af7d53f
NetFPGA-10G Embedded CPU Ethernet Core. The current version operates on a simple PIO based interface connected to a NetFPGA-10G port. To avoid confusion: this driver operates on a CPU running on the FPGA, e.g. BERI/mips, and is not suited for the PCI host interface. MFC after: 1 week Relnotes: yes Sponsored by: DARPA/AFRL
37 lines
767 B
Plaintext
37 lines
767 B
Plaintext
#
|
|
# BERI_NETFPGA_MDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
|
|
# RISC Implementation) FPGA soft core, as configured in its NetFPGA reference
|
|
# configuration.
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
include "BERI_TEMPLATE"
|
|
|
|
ident BERI_NETFPGA_MDROOT
|
|
|
|
options HZ=100
|
|
|
|
options FDT
|
|
options FDT_DTB_STATIC
|
|
makeoptions FDT_DTS_FILE=beri-netfpga.dts
|
|
|
|
#device uart
|
|
device altera_jtag_uart
|
|
|
|
device bpf
|
|
|
|
options DEVICE_POLLING
|
|
device netfpga10g_nf10bmac
|
|
|
|
#
|
|
# This kernel configuration uses an embedded memory root file system.
|
|
# Adjust the following path and size based on local requirements.
|
|
#
|
|
options MD_ROOT # MD is a potential root device
|
|
options MD_ROOT_SIZE=26112 # 25.5MB
|
|
options ROOTDEVNAME=\"ufs:md0\"
|
|
#makeoptions MFS_IMAGE=/foo/baz/baz/mdroot.img
|
|
|
|
# end
|