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