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/riscv/conf/SPIKE

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 file for UCB Spike simulator.
    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 #    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
    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 (http://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: releng/11.0/sys/riscv/conf/SPIKE 298638 2016-04-26 13:22:08Z br $
   20 
   21 include         GENERIC
   22 ident           SPIKE
   23 
   24 device          htif
   25 options         ROOTDEVNAME=\"ufs:/dev/htif_blk0\"
   26 
   27 # RISCVTODO: This needs to be done via loader (when it's available).
   28 options         FDT_DTB_STATIC
   29 makeoptions     FDT_DTS_FILE=spike.dts

Cache object: 822d31a128b84c54c5664859c90e1f22


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