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