# SPDX-License-Identifier: GPL-2.0 # # Makefile for the linux kernel. # obj-y += firmware.o obj-$([31mCONFIG_SA1111[0m) += sa1111.o obj-$([31mCONFIG_DMABOUNCE[0m) += dmabounce.o obj-$([31mCONFIG_KRAIT_L2_ACCESSORS[0m) += krait-l2-accessors.o obj-$([31mCONFIG_SHARP_LOCOMO[0m) += locomo.o obj-$([31mCONFIG_SHARP_PARAM[0m) += sharpsl_param.o obj-$([31mCONFIG_SHARP_SCOOP[0m) += scoop.o obj-$([31mCONFIG_CPU_V7[0m) += secure_cntvoff.o obj-$([31mCONFIG_PCI_HOST_ITE8152[0m) += it8152.o obj-$([31mCONFIG_MCPM[0m) += mcpm_head.o mcpm_entry.o mcpm_platsmp.o vlock.o CFLAGS_REMOVE_mcpm_entry.o = -pg AFLAGS_mcpm_head.o := -march=armv7-a AFLAGS_vlock.o := -march=armv7-a obj-$([31mCONFIG_BL_SWITCHER[0m) += bL_switcher.o obj-$([31mCONFIG_BL_SWITCHER_DUMMY_IF[0m) += bL_switcher_dummy_if.o |