FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/VYBRID
1 #
2 # Kernel configuration for Vybrid Family boards.
3 #
4 # For more information on this file, please read the config(5) manual page,
5 # and/or the handbook section on Kernel Configuration Files:
6 #
7 # https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8 #
9 # The handbook is also available locally in /usr/share/doc/handbook
10 # if you've installed the doc distribution, otherwise always see the
11 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
12 # latest information.
13 #
14 # An exhaustive list of options and more detailed explanations of the
15 # device lines is also present in the ../../conf/NOTES and NOTES files.
16 # If you are in doubt as to the purpose or necessity of a line, check first
17 # in NOTES.
18 #
19 # $FreeBSD$
20
21 ident VYBRID
22 include "std.armv7"
23 include "../freescale/vybrid/std.vybrid"
24
25 options SCHED_4BSD # 4BSD scheduler
26 options PLATFORM # Platform based SoC
27 #options SMP # Enable multiple cores
28
29 # NFS root from boopt/dhcp
30 #options BOOTP
31 #options BOOTP_NFSROOT
32 #options BOOTP_COMPAT
33 #options BOOTP_NFSV3
34 #options BOOTP_WIRED_TO=ffec0
35
36 #options ROOTDEVNAME=\"nfs:10.5.0.1:/tftpboot/cosmic\"
37 options ROOTDEVNAME=\"ufs:/dev/da0\"
38
39 options MUTEX_NOINLINE
40 options RWLOCK_NOINLINE
41 options NO_FFS_SNAPSHOT
42 options NO_SWAPPING
43
44 # Interrupt controller
45 device gic
46
47 # ARM MPCore timer
48 device mpcore_timer
49
50 # MMC/SD/SDIO Card slot support
51 device mmc # mmc/sd bus
52 device mmcsd # mmc/sd flash cards
53 device sdhci # generic sdhci
54
55 # Pseudo devices
56
57 device loop
58 device pty
59 device md
60 device gpio
61
62 # USB support
63 options USB_HOST_ALIGN=32 # Align usb buffers to cache line size.
64 device usb
65 #device musb
66 device ehci
67 #device ohci
68
69 device umass
70 device scbus # SCSI bus (required for ATA/SCSI)
71 device da # Direct Access (disks)
72 device pass
73
74 # SATA
75 #device ata
76 #device atadisk
77 #device mvs
78
79 # Serial ports
80 device uart
81
82 # I2C (TWSI)
83 device iic
84 device iicbus
85
86 # Ethernet
87 device ether
88 device ffec
89
90 # USB ethernet support, requires miibus
91 device miibus
92 device axe # ASIX Electronics USB Ethernet
93 device bpf # Berkeley packet filter
94
95 device sound
96
97 # SPI
98 device spibus
99 device vf_spi
100
101 # Framebuffer
102 device vt
103 device kbdmux
104 device ukbd
105
106 # HID support
107 device hid # Generic HID support
108
109 # Flattened Device Tree
110 options FDT # Configure using FDT/DTB data
Cache object: 57af66d6f78d64850c0d91e438b37c65
|