mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-18 10:35:55 +00:00
62820660cc
configs. Switch the BERI_NETFPGA_MDROOT to 64bit by default. Give we have working interrupts also cleanup the extra polling CFLAGS from the module Makefile. MFC after: 2 weeks
38 lines
791 B
Plaintext
38 lines
791 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
|
|
options NF10BMAC_64BIT
|
|
|
|
#
|
|
# 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
|