1# 2# BERI_SIM_VIRTIO -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3# RISC Implementation) FPGA soft core, as configured for simulation. 4# 5# $FreeBSD$ 6# 7 8#NO_UNIVERSE 9 10include "BERI_SIM_BASE" 11 12ident BERI_SIM_VIRTIO 13 14device virtio 15device virtio_blk 16device virtio_mmio 17device altera_pio 18 19# 20# This kernel expects to find its root filesystem on the SD Card. 21# 22options ROOTDEVNAME=\"ufs:/dev/vtbd0\" 23