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