]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm/conf/TS7800
Consolidate debugging options from all arm kernel configs to std.arm[v6].
[FreeBSD/FreeBSD.git] / sys / arm / conf / TS7800
1 #
2 # Custom kernel for the TS-7800 board.
3 #
4 # $FreeBSD$
5 #
6
7 ident           TS7800
8 include         "std.arm"
9 include         "../mv/orion/std.ts7800"
10
11 options         SOC_MV_ORION
12
13 makeoptions     WERROR="-Werror"
14
15 options         SCHED_4BSD              # 4BSD scheduler
16 options         INET                    # InterNETworking
17 options         INET6                   # IPv6 communications protocols
18 options         FFS                     # Berkeley Fast Filesystem
19 options         SOFTUPDATES             # Enable FFS soft updates support
20 options         NFSCL                   # 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_WIRED_TO=mge0
27
28 options         GEOM_PART_BSD           # BSD partition scheme
29 options         GEOM_PART_MBR           # MBR partition scheme
30 options         TMPFS                   # Efficient memory filesystem
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 device          mvs
42 device          pci
43
44 # Pseudo devices
45 device          md
46 device          loop
47 device          random
48
49 # Serial ports
50 device          uart
51
52 # Networking
53 device          ether
54 device          mge                     # Marvell Gigabit Ethernet controller
55 device          mii
56 device          mdio
57 device          e1000phy
58 device          bpf
59 options         HZ=1000
60
61 # USB
62 device          usb
63 device          ehci
64 device          umass
65 device          scbus
66 device          pass
67 device          da
68
69 # SATA
70 device          ata
71
72 # GPIO
73 device          gpio
74
75 # Flattened Device Tree
76 options         FDT
77 options         FDT_DTB_STATIC
78 makeoptions     FDT_DTS_FILE=ts7800.dts
79