sys/arm/conf/ARMADA38X

   1 #
   2 # Kernel configuration for Marvell Armada38x
   3 #
   4 # $FreeBSD$
   5 #
   6
   7 include         "../mv/armada38x/std.armada38x"
   8 include         "std.armv6"
   9
  10 ident   ARMADA38X
  11
  12 options         SOC_MV_ARMADA38X
  13
  14 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  15 makeoptions     WERROR="-Werror"
  16
  17 options         MD_ROOT
  18 #makeoptions    MFS_IMAGE=/path/to/miniroot
  19 #options        ROOTDEVNAME=\"ufs:md0\"
  20 options         ROOTDEVNAME=\"/dev/da0s1a\"
  21
  22 options         SCHED_ULE               # ULE scheduler
  23 #options        SCHED_4BSD              # 4BSD scheduler
  24
  25 options         SMP
  26
  27 # Debugging
  28 #options        DEBUG
  29 #options        VERBOSE_SYSINIT
  30 options         ALT_BREAK_TO_DEBUGGER
  31 options         DDB
  32 #options        GDB
  33 #options        DIAGNOSTIC
  34 options         INVARIANTS              # Enable calls of extra sanity checking
  35 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  36 options         KDB
  37 options         KDB_TRACE
  38 #options        WITNESS                 # Enable checks to detect deadlocks and cycles
  39 #options        WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  40 #options        WITNESS_KDB
  41 #options        BOOTVERBOSE
  42
  43 # Pseudo devices
  44 device          random
  45 device          pty
  46 device          loop
  47 device          md
  48
  49 # Serial ports
  50 device          uart
  51 device          uart_snps
  52
  53 # Network
  54 device          ether
  55 device          vlan
  56 device          mii
  57 device          bpf
  58 device          re
  59
  60 # PCI
  61 device          pci
  62
  63 # Interrupt controllers
  64 device          gic
  65 options         INTRNG
  66
  67 # Timers
  68 device          mpcore_timer
  69
  70 # USB
  71 device          usb
  72 device          ehci
  73 device          xhci
  74 device          umass
  75 device          scbus
  76 device          pass
  77 device          da
  78
  79 # I2C
  80 device          iic
  81 device          iicbus
  82 device          twsi
  83
  84 #FDT
  85 options         FDT
  86 options         FDT_DTB_STATIC
  87 makeoptions     FDT_DTS_FILE=armada-388-gp.dts