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 "std.BERI" 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 26options NF10BMAC_64BIT 27 28# 29# This kernel configuration uses an embedded memory root file system. 30# Adjust the following path and size based on local requirements. 31# 32options MD_ROOT # MD is a potential root device 33options MD_ROOT_SIZE=26112 # 25.5MB 34options ROOTDEVNAME=\"ufs:md0\" 35#makeoptions MFS_IMAGE=/foo/baz/baz/mdroot.img 36 37# end 38