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