1#
2# BERI_SOCKIT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3# RISC Implementation) FPGA soft core, as configured in its Terasic SoCKit
4# reference configuration.  This kernel configration must be further
5# specialized to to include a root filesystem specification.
6#
7# $FreeBSD: releng/11.0/sys/mips/conf/BERI_SOCKIT 275861 2014-12-17 11:36:31Z br $
8#
9
10include "BERI_TEMPLATE"
11
12ident		BERI_SOCKIT
13
14options 	ROOTDEVNAME=\"ufs:vtbd0\"
15
16device		altera_pio
17device		altera_jtag_uart
18
19device		virtio
20device		virtio_blk
21device		vtnet
22device		virtio_mmio
23
24options 	FDT
25options 	FDT_DTB_STATIC
26makeoptions	FDT_DTS_FILE=beripad-sockit.dts
27