sys/arm/conf/VIRT

   1 #
   2 # VIRT -- Custom configuration for the qemu virt platform
   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 ident           VIRT
  22
  23 include         "std.armv6"
  24 include         "../qemu/std.virt"
  25
  26 options         HZ=100
  27 options         SCHED_ULE               # 4BSD scheduler
  28 options         PLATFORM
  29 options         SMP                     # Enable multiple cores
  30
  31 # Debugging for use in -current
  32 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  33 options         BREAK_TO_DEBUGGER
  34 options         ALT_BREAK_TO_DEBUGGER
  35 #options        VERBOSE_SYSINIT         # Enable verbose sysinit messages
  36 options         KDB                     # Enable kernel debugger support
  37 # For minimum debugger support (stable branch) use:
  38 #options        KDB_TRACE               # Print a stack trace for a panic
  39 # For full debugger support use this instead:
  40 options         DDB                     # Enable the kernel debugger
  41 options         INVARIANTS              # Enable calls of extra sanity checking
  42 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  43 #options        WITNESS                 # Enable checks to detect deadlocks and cycles
  44 #options        WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  45 #options        DIAGNOSTIC
  46
  47 # Interrupt controller
  48 device          gic
  49
  50 device          bpf
  51 device          loop
  52 device          ether
  53 device          uart
  54 device          pty
  55 device          snp
  56 device          pl011
  57 device          psci
  58
  59 device          virtio
  60 device          virtio_mmio
  61 device          virtio_blk
  62 device          vtnet
  63
  64 device          md
  65 device          random                  # Entropy device
  66
  67 # Flattened Device Tree
  68 options         FDT                     # Configure using FDT/DTB data
  69
  70 # Extensible Firmware Interface
  71 options         EFI
  72