1 # arm-specific changes for doing a LINT build.
8 makeoptions CONF_CFLAGS+="-march=armv7a"
10 # Add options for armv7 that are not in sys/conf/NOTES...
12 options FDT # Flattened device tree support
13 options FREEBSD_BOOT_LOADER # Process metadata passed from loader(8)
14 options INTRNG # Include INTRNG framework
15 options LINUX_BOOT_ABI # Process metadata passed from U-Boot
16 options PLATFORM # Include platform_if support
17 options SMP # Nearly all v7 SoCs are multicore
18 options VFP # Enable floating point hardware support
20 # NOTE: dtrace introduces CDDL-licensed components into the kernel
21 device dtrace # dtrace core
22 device dtraceall # include all dtrace modules
25 # Add misc devices which are specific to various arm platforms...
27 device generic_timer # ARM Generic Timer
28 device gic # Interrupt controller
29 device gpio # gpio interface and bus
30 device mpcore_timer # ARM MPCore Timer
31 device pl310 # PL310 L2 cache controller
32 device pl330 # ARM PL330 dma controller
33 device pmu # PMU support (for CCNT).
34 device twsi # i2c controller on Marvel and Allwinner
35 device xdma # xDMA framework for SoC on-chip dma controllers
37 # Add EXT_RESOURCES pseudo devices...
50 # Undo options from sys/conf/NOTES that we do not want...
52 nooptions COMPAT_FREEBSD4
53 nooptions COMPAT_FREEBSD5
54 nooptions COMPAT_FREEBSD6
55 nooptions COMPAT_FREEBSD7
56 nooptions COMPAT_FREEBSD9
57 nooptions PPC_PROBE_CHIPSET
58 nooptions MAXCPU # value is set in machine/param.h
70 # Build SOC-specific modules...
72 makeoptions MODULES_EXTRA+="allwinner"
73 makeoptions MODULES_EXTRA+="arm_ti"
74 makeoptions MODULES_EXTRA+="imx"
78 makeoptions MODULES_EXTRA+="dtb/allwinner"
79 makeoptions MODULES_EXTRA+="dtb/am335x"
80 makeoptions MODULES_EXTRA+="dtb/imx6"
81 makeoptions MODULES_EXTRA+="dtb/nvidia"
82 makeoptions MODULES_EXTRA+="dtb/omap4"
83 makeoptions MODULES_EXTRA+="dtb/rpi"
84 makeoptions MODULES_EXTRA+="dtb/zynq"