1 # SPDX-License-Identifier: GPL-2.0-only 1 # SPDX-License-Identifier: GPL-2.0-only 2 # 2 # 3 # Makefile for the linux kernel. 3 # Makefile for the linux kernel. 4 # 4 # 5 5 6 #asflags-y := -DFPU_EMU_DEBUG 6 #asflags-y := -DFPU_EMU_DEBUG 7 #ccflags-y := -DFPU_EMU_DEBUG 7 #ccflags-y := -DFPU_EMU_DEBUG 8 8 9 obj-y := fp_entry.o fp_scan.o fp_uti 9 obj-y := fp_entry.o fp_scan.o fp_util.o fp_move.o fp_movem.o \ 10 fp_cond.o fp_arith.o f 10 fp_cond.o fp_arith.o fp_log.o fp_trig.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.