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