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