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 # Debugging
  26 #options        DEBUG
  27 #options        VERBOSE_SYSINIT
  28 options         ALT_BREAK_TO_DEBUGGER
  29 options         DDB
  30 #options        GDB
  31 #options        DIAGNOSTIC
  32 options         INVARIANTS              # Enable calls of extra sanity checking
  33 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  34 options         KDB
  35 options         KDB_TRACE
  36 #options        WITNESS                 # Enable checks to detect deadlocks and cycles
  37 #options        WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  38 #options        WITNESS_KDB
  39 #options        BOOTVERBOSE
  40
  41 # Pseudo devices
  42 device          random
  43 device          pty
  44 device          loop
  45 device          md
  46
  47 # Serial ports
  48 device          uart
  49 device          uart_ns8250
  50
  51 # Network
  52 device          ether
  53 device          vlan
  54 device          mii
  55 device          bpf
  56 device          re
  57
  58 # PCI
  59 device          pci
  60
  61 # Interrupt controllers
  62 device          gic
  63
  64 # Timers
  65 device          mpcore_timer
  66
  67 # USB
  68 device          usb
  69 device          ehci
  70 device          umass
  71 device          scbus
  72 device          pass
  73 device          da
  74
  75 # I2C
  76 device          iic
  77 device          iicbus
  78
  79 #FDT
  80 options         FDT
  81 options         FDT_DTB_STATIC
  82 makeoptions     FDT_DTS_FILE=armada-388-gp.dts