sys/arm/conf/DOCKSTAR

   1 #
   2 # Custom kernel for Seagate DockStar (Marvell SheevaPlug based) devices.
   3 #
   4 # $FreeBSD$
   5 #
   6
   7 ident           DOCKSTAR
   8 include         "../mv/kirkwood/std.db88f6xxx"
   9
  10 options         SOC_MV_KIRKWOOD
  11 makeoptions     MODULES_OVERRIDE=""
  12
  13 #makeoptions    DEBUG=-g                #Build kernel with gdb(1) debug symbols
  14 makeoptions     WERROR="-Werror"
  15
  16 options         SCHED_4BSD              #4BSD scheduler
  17 options         INET                    #InterNETworking
  18 options         INET6                   #IPv6 communications protocols
  19 options         FFS                     #Berkeley Fast Filesystem
  20 options         NFSCL                   #New Network Filesystem Client
  21 options         NFSLOCKD                #Network Lock Manager
  22 options         NFS_ROOT                #NFS usable as /, requires NFSCL
  23 options         BOOTP
  24 options         BOOTP_NFSROOT
  25 options         BOOTP_NFSV3
  26 options         BOOTP_COMPAT
  27 options         BOOTP_WIRED_TO=mge0
  28
  29 # Root fs on USB device
  30 #options        ROOTDEVNAME=\"ufs:/dev/da0a\"
  31
  32 options         SYSVSHM                 #SYSV-style shared memory
  33 options         SYSVMSG                 #SYSV-style message queues
  34 options         SYSVSEM                 #SYSV-style semaphores
  35 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  36 options         MUTEX_NOINLINE
  37 options         RWLOCK_NOINLINE
  38 options         NO_FFS_SNAPSHOT
  39 options         NO_SWAPPING
  40
  41 # Debugging
  42 options         ALT_BREAK_TO_DEBUGGER
  43 options         DDB
  44 options         KDB
  45
  46 # Pseudo devices
  47 device          md
  48 device          random
  49 device          loop
  50
  51 # Serial ports
  52 device          uart
  53
  54 # Networking
  55 device          ether
  56 device          mge                     # Marvell Gigabit Ethernet controller
  57 device          mii
  58 device          bpf
  59 options         HZ=1000
  60 options         DEVICE_POLLING
  61 device          vlan
  62
  63 # USB
  64 options         USB_DEBUG       # enable debug msgs
  65 device          usb
  66 device          ehci
  67 device          umass
  68 device          scbus
  69 device          pass
  70 device          da
  71
  72 # Flattened Device Tree
  73 options         FDT
  74 options         FDT_DTB_STATIC
  75 makeoptions     FDT_DTS_FILE=dockstar.dts