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