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_DE4_BASE

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_DE4_BASE -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC
    3 # Implementation) FPGA soft core, as configured in its Terasic DE-4 reference
    4 # configuration.  This kernel configration must be further specialized to
    5 # to include a root filesystem specification.
    6 #
    7 # $FreeBSD$
    8 #
    9 
   10 #NO_UNIVERSE
   11 
   12 include "std.BERI"
   13 
   14 options         NFSCL                   # Network Filesystem Client
   15 options         NFSLOCKD                # Network Lock Manager
   16 options         NFS_ROOT                # NFS usable as /, requires NFSCL
   17 
   18 options         FDT
   19 options         FDT_DTB_STATIC
   20 makeoptions     FDT_DTS_FILE=beripad-de4.dts
   21 
   22 hints           "BERI_DE4.hints"        # Flash partitions still use hints.
   23 
   24 device          altera_atse
   25 device          altera_avgen
   26 device          altera_jtag_uart
   27 device          altera_sdcard
   28 device          terasic_de4led
   29 device          terasic_mtl
   30 
   31 device          bpf
   32 device          cfi
   33 device          cfid
   34 options         CFI_SUPPORT_STRATAFLASH
   35 options         ATSE_CFI_HACK
   36 device          vt
   37 device          kbdmux
   38 
   39 device          uart
   40 
   41 device          miibus
   42 options         DEVICE_POLLING
   43 
   44 #
   45 # DMA support
   46 #
   47 device          xdma
   48 device          altera_softdma
   49 device          altera_msgdma
   50 
   51 #
   52 # USB support
   53 #
   54 #options        USB_DEBUG
   55 #options        USB_REQ_DEBUG
   56 #options        USB_VERBOSE
   57 device          usb
   58 device          saf1761otg
   59 

Cache object: ddf4544a3ecb35b171af39d91d9468b3


[ 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.