1# 2# BERI_NETFPGA_MDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3# RISC Implementation) FPGA soft core, as configured in its NetFPGA reference 4# configuration. 5# 6# $FreeBSD$ 7# 8 9include "BERI_TEMPLATE" 10 11ident BERI_NETFPGA_MDROOT 12 13options HZ=100 14 15options FDT 16options FDT_DTB_STATIC 17makeoptions FDT_DTS_FILE=beri-netfpga.dts 18 19#device uart 20device altera_jtag_uart 21 22device bpf 23 24options DEVICE_POLLING 25device netfpga10g_nf10bmac 26 27# 28# This kernel configuration uses an embedded memory root file system. 29# Adjust the following path and size based on local requirements. 30# 31options MD_ROOT # MD is a potential root device 32options MD_ROOT_SIZE=26112 # 25.5MB 33options ROOTDEVNAME=\"ufs:md0\" 34#makeoptions MFS_IMAGE=/foo/baz/baz/mdroot.img 35 36# end 37