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