sys/mips/conf/BERI_SOCKIT

   1 #
   2 # BERI_SOCKIT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
   3 # RISC Implementation) FPGA soft core, as configured in its Terasic SoCKit
   4 # reference configuration.  This kernel configration must be further
   5 # specialized to include a root filesystem specification.
   6 #
   7 # $FreeBSD$
   8 #
   9
  10 include "std.BERI"
  11
  12 ident           BERI_SOCKIT
  13
  14 options         ROOTDEVNAME=\"ufs:vtbd0\"
  15
  16 device          altera_pio
  17 device          altera_jtag_uart
  18
  19 device          virtio
  20 device          virtio_blk
  21 device          vtnet
  22 device          virtio_mmio
  23
  24 options         FDT
  25 options         FDT_DTB_STATIC
  26 makeoptions     FDT_DTS_FILE=beripad-sockit.dts