xref: /freebsd-13-stable/sys/mips/conf/BERI_SIM_VIRTIO (revision 5510f79042fbd543de55807d0da7f8a2b8be2f89) 
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#
6
7#NO_UNIVERSE
8
9include "BERI_SIM_BASE"
10
11ident		BERI_SIM_VIRTIO
12
13device		virtio
14device		virtio_blk
15device		virtio_mmio
16device		altera_pio
17
18#
19# This kernel expects to find its root filesystem on the SD Card.
20#
21options 	ROOTDEVNAME=\"ufs:/dev/vtbd0\"
22