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