1 # armv7-specific changes for doing a LINT build.
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.
14 makeoptions CONF_CFLAGS+="-march=armv7a"
16 # Add options for armv7 that are not in sys/conf/NOTES...
18 options ARM_L2_PIPT # Only L2 PIPT is supported
19 options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8)
20 options INTRNG # Include INTRNG framework
21 options LINUX_BOOT_ABI # Process metadata passed from U-Boot
22 options PLATFORM # Include platform_if support
23 options SMP # Most v7 SoCs are multicore
24 options VFP # Enable floating point hardware support
26 # NOTE: dtrace introduces CDDL-licensed components into the kernel
27 device dtrace # dtrace core
28 device dtraceall # include all dtrace modules
31 # Add misc devices which are specific to various arm platforms...
33 device generic_timer # ARM Generic Timer
34 device gic # Interrupt controller
35 device gpio # gpio interface and bus
36 device mpcore_timer # ARM MPCore Timer
37 device pl310 # PL310 L2 cache controller
38 device pmu # PMU support (for CCNT).
40 # Add EXT_RESOURCES pseudo devices...
50 # Build SOC-specific modules...
52 makeoptions MODULES_EXTRA+="allwinner"
53 makeoptions MODULES_EXTRA+="arm_ti"
54 makeoptions MODULES_EXTRA+="imx"
58 makeoptions MODULES_EXTRA+="dtb/allwinner"
59 makeoptions MODULES_EXTRA+="dtb/am335x"
60 makeoptions MODULES_EXTRA+="dtb/imx6"
61 makeoptions MODULES_EXTRA+="dtb/nvidia"
62 makeoptions MODULES_EXTRA+="dtb/omap4"
63 makeoptions MODULES_EXTRA+="dtb/rpi"
64 makeoptions MODULES_EXTRA+="dtb/zynq"