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         PLATFORM_SMP
  30 options         SMP                     # Enable multiple cores
  31 options         MULTIDELAY
  32
  33 # Interrupt controller
  34 device          gic
  35 options         INTRNG
  36
  37 # ARM Generic Timer
  38 device          generic_timer
  39
  40 device          bpf
  41 device          loop
  42 device          ether
  43 device          uart
  44 device          pty
  45 device          snp
  46 device          pl011
  47 device          psci
  48
  49 device          virtio
  50 device          virtio_mmio
  51 device          virtio_blk
  52 device          vtnet
  53
  54 device          md
  55 device          random                  # Entropy device
  56
  57 # Flattened Device Tree
  58 options         FDT                     # Configure using FDT/DTB data
  59
  60 # Extensible Firmware Interface
  61 options         EFI
  62