sys/mips/conf/BERI_SIM_VIRTIO

   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 include "BERI_SIM_BASE"
   9
  10 ident           BERI_SIM_VIRTIO
  11
  12 device          virtio
  13 device          virtio_blk
  14 device          virtio_mmio
  15 device          altera_pio
  16
  17 #
  18 # This kernel expects to find its root filesystem on the SD Card.
  19 #
  20 options         ROOTDEVNAME=\"ufs:/dev/vtbd0\"