--- zzzz-none-000/linux-4.1.38/kernel/Makefile 2017-01-18 18:48:06.000000000 +0000 +++ bcm63-7582-715/linux-4.1.38/kernel/Makefile 2020-11-25 10:06:48.000000000 +0000 @@ -2,6 +2,7 @@ # Makefile for the linux kernel. # + obj-y = fork.o exec_domain.o panic.o \ cpu.o exit.o softirq.o resource.o \ sysctl.o sysctl_binary.o capability.o ptrace.o user.o \ @@ -89,6 +90,11 @@ obj-$(CONFIG_IRQ_WORK) += irq_work.o obj-$(CONFIG_CPU_PM) += cpu_pm.o obj-$(CONFIG_BPF) += bpf/ +obj-$(CONFIG_AVM_ENHANCED) += env.o + +ifdef BCM_KF # defined(CONFIG_BCM_KF_LOG) +obj-$(CONFIG_BCM_LOG) += bcm_log.o +endif # BCM_KF obj-$(CONFIG_PERF_EVENTS) += events/