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