1275861Sbr#
2275861Sbr# BERI_SOCKIT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3275861Sbr# RISC Implementation) FPGA soft core, as configured in its Terasic SoCKit
4275861Sbr# reference configuration.  This kernel configration must be further
5275861Sbr# specialized to to include a root filesystem specification.
6275861Sbr#
7275861Sbr# $FreeBSD: releng/11.0/sys/mips/conf/BERI_SOCKIT 275861 2014-12-17 11:36:31Z br $
8275861Sbr#
9275861Sbr
10275861Sbrinclude "BERI_TEMPLATE"
11275861Sbr
12275861Sbrident		BERI_SOCKIT
13275861Sbr
14275861Sbroptions 	ROOTDEVNAME=\"ufs:vtbd0\"
15275861Sbr
16275861Sbrdevice		altera_pio
17275861Sbrdevice		altera_jtag_uart
18275861Sbr
19275861Sbrdevice		virtio
20275861Sbrdevice		virtio_blk
21275861Sbrdevice		vtnet
22275861Sbrdevice		virtio_mmio
23275861Sbr
24275861Sbroptions 	FDT
25275861Sbroptions 	FDT_DTB_STATIC
26275861Sbrmakeoptions	FDT_DTS_FILE=beripad-sockit.dts
27