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# 7 8include "std.BERI" 9 10ident BERI_NETFPGA_MDROOT 11 12options HZ=100 13 14options FDT 15options FDT_DTB_STATIC 16makeoptions FDT_DTS_FILE=beri-netfpga.dts 17 18#device uart 19device altera_jtag_uart 20 21device bpf 22 23options DEVICE_POLLING 24device netfpga10g_nf10bmac 25options NF10BMAC_64BIT 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