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