FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/SOCFPGA
1 #
2 # Kernel configuration for Altera SOCFPGA development kits.
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 SOCFPGA
22 include "std.armv7"
23 include "../altera/socfpga/std.socfpga"
24
25 makeoptions MODULES_OVERRIDE=""
26
27 options SCHED_ULE # ULE scheduler
28 options PLATFORM # Platform based SoC
29 options SMP # Enable multiple cores
30
31 options SOC_ALTERA_ARRIA10
32 options SOC_ALTERA_CYCLONE5
33
34 # NFS root from boopt/dhcp
35 #options BOOTP
36 #options BOOTP_NFSROOT
37 #options BOOTP_COMPAT
38 #options BOOTP_NFSV3
39 #options BOOTP_WIRED_TO=ue0
40
41 # EXT_RESOURCES pseudo devices
42 options EXT_RESOURCES
43 device clk
44 device phy
45 device hwreset
46 device nvmem
47 device regulator
48 device syscon
49
50 # Interrupt controller
51 device gic
52
53 # ARM MPCore timer
54 device mpcore_timer
55
56 # DMA support
57 device xdma
58 device pl330
59
60 # MMC/SD/SDIO Card slot support
61 device mmc # mmc/sd bus
62 device mmcsd # mmc/sd flash cards
63 device dwmmc
64
65 # Pseudo devices
66
67 device loop
68 device pty
69 device md
70 device gpio
71
72 # USB support
73 options USB_HOST_ALIGN=64 # Align usb buffers to cache line size.
74 device usb
75 device dwcotg
76
77 device umass
78 device scbus # SCSI bus (required for ATA/SCSI)
79 device da # Direct Access (disks)
80 device pass
81
82 # Serial ports
83 device uart
84 device uart_snps
85
86 # I2C (TWSI)
87 device iic
88 device iicbus
89
90 # SPI
91 device spibus
92 device cqspi
93 device n25q
94
95 # Ethernet
96 device ether
97 device mii
98 device smsc
99 device smscphy
100 device dwc
101 device micphy
102
103 # USB ethernet support, requires miibus
104 device miibus
105 device axe # ASIX Electronics USB Ethernet
106 device bpf # Berkeley packet filter
107
108 # Flattened Device Tree
109 options FDT # Configure using FDT/DTB data
Cache object: bc151ab42d0f0ac7b4c88b241ce50a0c
|