sys/arm/conf/VERSATILEPB

   1 #
   2 # VERSATILEPB - Configuration for QEMU version of Versatile Platform Board
   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           VERSATILEPB
  22 machine         arm     armv6
  23 cpu             CPU_ARM1176
  24
  25 include         "std.armv6"
  26 files           "../versatile/files.versatile"
  27 makeoptions     MODULES_OVERRIDE=""
  28
  29 options         KERNVIRTADDR=0xc0100000
  30 makeoptions     KERNVIRTADDR=0xc0100000
  31 options         KERNPHYSADDR=0x00100000
  32 makeoptions     KERNPHYSADDR=0x00100000
  33 options         PHYSADDR=0x00000000
  34
  35 options         HZ=100
  36 options         SCHED_4BSD              # 4BSD scheduler
  37 options         LINUX_BOOT_ABI          # Process metadata passed from Linux boot loaders
  38
  39 # Debugging for use in -current
  40 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  41 options         KDB                     # Enable kernel debugger support
  42 # For minimum debugger support (stable branch) use:
  43 #options        KDB_TRACE               # Print a stack trace for a panic
  44 # For full debugger support use this instead:
  45 options         DDB                     # Enable the kernel debugger
  46 options         INVARIANTS              # Enable calls of extra sanity checking
  47 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  48
  49 options         ROOTDEVNAME=\"ufs:da0s1a\"
  50
  51 device          bpf
  52 device          loop
  53 device          mii
  54 device          mii_bitbang
  55 device          smc
  56 device          smcphy
  57 device          ether
  58 device          uart
  59 device          pl011
  60 device          pl190
  61
  62 device          pty
  63 device          snp
  64
  65 device          pci
  66
  67 # SCSI Controllers
  68 device          sym                     # NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D
  69
  70 # ATA/SCSI peripherals
  71 device          scbus                   # SCSI bus (required for ATA/SCSI)
  72 device          da                      # Direct Access (disks)
  73 device          pass                    # Passthrough device (direct ATA/SCSI access)
  74
  75 # NOTE: serial console is disabled if syscons enabled
  76 # Comment following lines for headless setup
  77 device          sc
  78 device          kbdmux
  79 options         SC_DFLT_FONT            # compile font in
  80 makeoptions     SC_DFLT_FONT=cp437
  81
  82 device          md
  83 device          random                  # Entropy device
  84
  85 # Flattened Device Tree
  86 options         FDT                     # Configure using FDT/DTB data
  87 options         FDT_DTB_STATIC
  88 makeoptions     FDT_DTS_FILE=versatilepb.dts