]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm/conf/TS7800
Enable ARM_INTRNG on the pandaboard platform.
[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    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                   # 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         GEOM_PART_BSD           # BSD partition scheme
30 options         GEOM_PART_MBR           # MBR partition scheme
31 options         TMPFS                   # Efficient memory filesystem
32
33 options         SYSVSHM                 # SYSV-style shared memory
34 options         SYSVMSG                 # SYSV-style message queues
35 options         SYSVSEM                 # SYSV-style semaphores
36 options         _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
37 options         MUTEX_NOINLINE
38 options         RWLOCK_NOINLINE
39 options         NO_FFS_SNAPSHOT
40 options         NO_SWAPPING
41
42 # Debugging
43 options         ALT_BREAK_TO_DEBUGGER
44 options         DDB
45 options         KDB
46 options         GDB                     # Support remote GDB.
47
48 device          mvs
49 device          pci
50
51 # Pseudo devices
52 device          md
53 device          loop
54 device          random
55
56 # Serial ports
57 device          uart
58
59 # Networking
60 device          ether
61 device          mge                     # Marvell Gigabit Ethernet controller
62 device          mii
63 device          e1000phy
64 device          bpf
65 options         HZ=1000
66
67 # USB
68 device          usb
69 device          ehci
70 device          umass
71 device          scbus
72 device          pass
73 device          da
74
75 # SATA
76 device          ata
77
78 # Flattened Device Tree
79 options         FDT
80 options         FDT_DTB_STATIC
81 makeoptions     FDT_DTS_FILE=ts7800.dts
82