sys/riscv/conf/ROCKET

   1 #
   2 # Kernel configuration file for Rocket Core.
   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$
  20
  21 include         GENERIC
  22 ident           ROCKET
  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=rocket.dts