1 # SPDX-License-Identifier: GPL-2.0-only
3 # Makefile for the linux kernel.
8 obj-y += time.o generic.o pfifo.o xc.o
10 # Specific board support
11 obj-$(CONFIG_MACH_NXDKN) += nxdkn.o
12 obj-$(CONFIG_MACH_NXDB500) += nxdb500.o fb.o
13 obj-$(CONFIG_MACH_NXEB500HMI) += nxeb500hmi.o fb.o