1# armv7-specific changes for doing a LINT build.
2#
3# The contents of sys/conf/NOTES, sys/arm/conf/NOTES, and this file are
4# concatenated (in that order) to create the LINT-V7 kernel config file.
5#
6# $FreeBSD$
7
8
9#NO_UNIVERSE
10
11machine		arm armv7
12cpu		CPU_CORTEXA
13cpu		CPU_MV_PJ4B
14makeoptions	CONF_CFLAGS+="-march=armv7a"
15
16# Add options for armv7 that are not in sys/conf/NOTES...
17
18options 	ARM_L2_PIPT		# Only L2 PIPT is supported
19options 	FREEBSD_BOOT_LOADER	# Process metadata passed from loader(8)
20options 	INTRNG			# Include INTRNG framework
21options 	LINUX_BOOT_ABI		# Process metadata passed from U-Boot
22options 	PLATFORM		# Include platform_if support
23options 	SMP			# Most v7 SoCs are multicore
24options 	VFP			# Enable floating point hardware support
25
26# NOTE: dtrace introduces CDDL-licensed components into the kernel
27device		dtrace			# dtrace core
28device		dtraceall		# include all dtrace modules
29options 	KDTRACE_HOOKS
30
31# Add misc devices which are specific to various arm platforms...
32
33device		generic_timer   # ARM Generic Timer
34device		gic		# Interrupt controller
35device		gpio		# gpio interface and bus
36device		mpcore_timer	# ARM MPCore Timer
37device		pl310		# PL310 L2 cache controller
38device		pmu		# PMU support (for CCNT).
39
40# Add EXT_RESOURCES pseudo devices...
41
42options 	EXT_RESOURCES
43device		clk
44device		phy
45device		hwreset
46device		nvmem
47device		regulator
48device		syscon
49
50# Build SOC-specific modules...
51
52makeoptions	MODULES_EXTRA+="allwinner"
53makeoptions	MODULES_EXTRA+="arm_ti"
54makeoptions	MODULES_EXTRA+="imx"
55
56# Build dtb files...
57
58makeoptions	MODULES_EXTRA+="dtb/allwinner"
59makeoptions	MODULES_EXTRA+="dtb/am335x"
60makeoptions	MODULES_EXTRA+="dtb/imx6"
61makeoptions	MODULES_EXTRA+="dtb/nvidia"
62makeoptions	MODULES_EXTRA+="dtb/omap4"
63makeoptions	MODULES_EXTRA+="dtb/rpi"
64makeoptions	MODULES_EXTRA+="dtb/zynq"
65