sys/arm/conf/TS7800

   1 #
   2 # Custom kernel for the TS-7800 board.
   3 #
   4 # $FreeBSD$
   5 #
   6
   7 ident           TS7800
   8 include         "../mv/orion/std.ts7800"
   9
  10 options         SOC_MV_ORION
  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         SOFTUPDATES             # Enable FFS soft updates support
  21 options         NFSCL                   #New Network Filesystem Client
  22 options         NFSLOCKD                #Network Lock Manager
  23 options         NFS_ROOT                #NFS usable as /, requires NFSCL
  24 options         BOOTP
  25 options         BOOTP_NFSROOT
  26 options         BOOTP_NFSV3
  27 options         BOOTP_WIRED_TO=mge0
  28
  29 options         SYSVSHM                 #SYSV-style shared memory
  30 options         SYSVMSG                 #SYSV-style message queues
  31 options         SYSVSEM                 #SYSV-style semaphores
  32 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  33 options         MUTEX_NOINLINE
  34 options         RWLOCK_NOINLINE
  35 options         NO_FFS_SNAPSHOT
  36 options         NO_SWAPPING
  37
  38 # Debugging
  39 options         ALT_BREAK_TO_DEBUGGER
  40 options         DDB
  41 options         KDB
  42 options         GDB                     # Support remote GDB.
  43
  44 device          mvs
  45 device          pci
  46
  47 # Pseudo devices
  48 device          md
  49 device          loop
  50 device          random
  51
  52 # Serial ports
  53 device          uart
  54
  55 # Networking
  56 device          ether
  57 device          mge                     # Marvell Gigabit Ethernet controller
  58 device          mii
  59 device          e1000phy
  60 device          bpf
  61 options         HZ=1000
  62
  63 # USB
  64 device          usb
  65 device          ehci
  66 device          umass
  67 device          scbus
  68 device          pass
  69 device          da
  70
  71 # SATA
  72 device          ata
  73
  74 # Flattened Device Tree
  75 options         FDT
  76 options         FDT_DTB_STATIC
  77 makeoptions     FDT_DTS_FILE=ts7800.dts
  78