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