]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/Makeconf.amd64
update
[l4.git] / kernel / fiasco / src / Makeconf.amd64
1 # -*- makefile -*-
2
3 #OPT_SHARED_FLAGS       += $(call CHECKCC,-finline-limit=10000,)
4 #OPT_CXXFLAGS           += $(call CHECKCXX,--param large-function-insns=10000)
5 #OPT_CFLAGS             += $(call CHECKCC,--param large-function-insns=10000)
6
7 # The -Os option of gcc-4.0 sets max-inline-insns-single to 5 which prevents
8 # inlining of almost every function
9 NOOPT_SHARED_FLAGS      += $(call CHECKCC,--param max-inline-insns-single=50)
10 SHARED_FLAGS            += -mpreferred-stack-boundary=4 -m64 -mcmodel=kernel \
11                            -mno-red-zone -funit-at-a-time
12
13 OPT_CFLAGS              += -mno-red-zone -funit-at-a-time
14 OPT_CXXFLAGS            += -mno-red-zone -funit-at-a-time
15
16 SHARED_FLAGS-$(CONFIG_AMD64_CORE2) += $(call CHECKCC,-march=core2,)
17 SHARED_FLAGS-$(CONFIG_AMD64_ATOM)  += $(call CHECKCC,-march=atom,)
18 SHARED_FLAGS-$(CONFIG_AMD64_K8)    += $(call CHECKCC,-march=k8,)
19 SHARED_FLAGS                       += $(call CHECKCC,-mno-mmx,)
20 SHARED_FLAGS                       += $(call CHECKCC,-mno-sse,)
21 SHARED_FLAGS                       += $(call CHECKCC,-mno-sse2,)
22 SHARED_FLAGS                       += $(call CHECKCC,-mno-sse3,)
23 SHARED_FLAGS                       += $(call CHECKCC,-mno-3dnow,)
24
25 ASFLAGS                         += -m64 -mcmodel=kernel
26 OFORMAT                         := elf64-x86-64
27 LD_EMULATION-SYSTEM-FreeBSD     := elf_x86_64_fbsd
28 LD_EMULATION-SYSTEM-default     := elf_x86_64