The Design and Implementation of the FreeBSD Operating System, Second Edition
Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

FreeBSD/Linux Kernel Cross Reference
sys/mips/conf/BERI_SOCKIT

Version: -  FREEBSD  -  FREEBSD-13-STABLE  -  FREEBSD-13-0  -  FREEBSD-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  l41  -  OPENBSD  -  linux-2.6  -  MK84  -  PLAN9  -  xnu-8792 
SearchContext: -  none  -  3  -  10 

    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 "BERI_TEMPLATE"
   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

Cache object: 38856749d5e1ed44d4faa184e82eaa29


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]


This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.