1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for the linux kernel. 4 # 5 6 # Common support 7 obj-y := clock.o generic.o #nmi-oopser.o 8 9 # Specific board support 10 obj-$(CONFIG_SA1100_ASSABET) += ass 11 obj-$(CONFIG_ASSABET_NEPONSET) += nep 12 obj-$(CONFIG_SA1100_COLLIE) += col 13 obj-$(CONFIG_SA1100_H3600) += h36 14 obj-$(CONFIG_SA1100_JORNADA720) += jor 15 obj-$(CONFIG_SA1100_JORNADA720_SSP) += jor 16 17 # Miscellaneous functions 18 obj-$(CONFIG_PM) += pm. 19 obj-$(CONFIG_SA1100_SSP) += ssp 20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.