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 include a root filesystem specification.
6#
7# $FreeBSD$
8#
9
10include "std.BERI"
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