fix REQ-31

kernel/Makefile.build.dcfa

@@ -3,7 +3,7 @@ OBJS = init.o mem.o debug.o mikc.o listeners.o ap.o syscall.o cls.o host.o
 OBJS += process.o copy.o waitq.o futex.o timer.o plist.o fileobj.o
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
-CFLAGS += -I$(SRC)/include -mcmodel=kernel -D__KERNEL__
+CFLAGS += -I$(SRC)/include -D__KERNEL__
 CFLAGS += -DKNC_MAP_MICPA $(EXTRA_CFLAGS)
 
 ifeq ("$(DCFA_MODE)", "kmod")

kernel/Makefile.build.in

@@ -6,7 +6,7 @@ OBJS += process.o copy.o waitq.o futex.o timer.o plist.o fileobj.o shmobj.o
 OBJS += zeroobj.o procfs.o devobj.o sysfs.o
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
-CFLAGS += -I$(SRC)/include -mcmodel=kernel -D__KERNEL__ -g
+CFLAGS += -I$(SRC)/include -D__KERNEL__ -g
 LDFLAGS += -e arch_start
 IHKOBJ = ihk/ihk.o
 

kernel/config/config.attached-mic

@@ -1,6 +1,5 @@
 CC = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-gcc
 LD = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-ld
 
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -m elf_k1om -T $(SRC)/config/attached-mic.lds
 LDFLAGS_MKIMAGE = -m elf_k1om

kernel/config/config.builtin-mic

@@ -3,6 +3,5 @@ LD = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-ld
 OBJDUMP = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-objdump
 OBJCOPY = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-objcopy
 
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -m elf_k1om -T $(SRC)/config/builtin-mic.lds
 LDFLAGS_MKIMAGE = -m elf_k1om

kernel/config/config.builtin-x86

@@ -1,2 +1 @@
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -T $(SRC)/config/builtin-x86.lds

kernel/config/config.smp-x86

@@ -1,2 +1 @@
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -T $(SRC)/config/smp-x86.lds