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/arm/conf/SOCKIT-BERI

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 # Kernel configuration for Terasic SoCKit (Altera Cyclone V SoC).
    3 #
    4 # For more information on this file, please read the config(5) manual page,
    5 # and/or the handbook section on Kernel Configuration Files:
    6 #
    7 #    https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config
    8 #
    9 # The handbook is also available locally in /usr/share/doc/handbook
   10 # if you've installed the doc distribution, otherwise always see the
   11 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
   12 # latest information.
   13 #
   14 # An exhaustive list of options and more detailed explanations of the
   15 # device lines is also present in the ../../conf/NOTES and NOTES files.
   16 # If you are in doubt as to the purpose or necessity of a line, check first
   17 # in NOTES.
   18 #
   19 # $FreeBSD$
   20 
   21 #NO_UNIVERSE
   22 
   23 include         "SOCFPGA"
   24 ident           SOCKIT-BERI
   25 
   26 options         ROOTDEVNAME=\"ufs:/dev/mmcsd0s4\"
   27 
   28 # BERI specific
   29 device          beri_ring
   30 device          beri_mem
   31 device          beri_vtblk
   32 device          vtbe
   33 device          altera_pio
   34 
   35 # Flattened Device Tree
   36 options         FDT_DTB_STATIC
   37 makeoptions     FDT_DTS_FILE=socfpga_cyclone5_sockit_beri_sdmmc.dts

Cache object: a5efdf5cd64418ae742f4e12c6459a33

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