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# Interrupt controller
42device		gic
43
44# ARM MPCore timer
45device		mpcore_timer
46
47# DMA support
48device		xdma
49device		pl330
50
51# MMC/SD/SDIO Card slot support
52device		mmc			# mmc/sd bus
53device		mmcsd			# mmc/sd flash cards
54device		dwmmc
55
56# Pseudo devices
57
58device		loop
59device		random
60device		pty
61device		md
62device		gpio
63
64# USB support
65options 	USB_HOST_ALIGN=64	# Align usb buffers to cache line size.
66device		usb
67device		dwcotg
68
69device		umass
70device		scbus			# SCSI bus (required for ATA/SCSI)
71device		da			# Direct Access (disks)
72device		pass
73
74# Serial ports
75device		uart
76device		uart_snps
77
78# I2C (TWSI)
79device		iic
80device		iicbus
81
82# SPI
83device		spibus
84device		cqspi
85device		n25q
86
87# Ethernet
88device		ether
89device		mii
90device		smsc
91device		smscphy
92device		dwc
93device		micphy
94
95# USB ethernet support, requires miibus
96device		miibus
97device		axe			# ASIX Electronics USB Ethernet
98device		bpf			# Berkeley packet filter
99
100# Flattened Device Tree
101options 	FDT			# Configure using FDT/DTB data
102