]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/Makeconf.arm
update
[l4.git] / kernel / fiasco / src / Makeconf.arm
1 # -*- makefile -*-
2 #OPT_SHARED_FLAGS                  += $(call CHECKCC,-finline-limit=10000,)
3 SYSTEM_TARGET                     ?= arm-linux-
4 SHARED_FLAGS-$(CONFIG_ARM_PXA)    += -mcpu=xscale
5 SHARED_FLAGS-$(CONFIG_ARM_SA)     += -mcpu=strongarm1100
6 SHARED_FLAGS-$(CONFIG_ARM_920T)   += -mcpu=arm920t
7 SHARED_FLAGS-$(CONFIG_ARM_926)    += -mcpu=arm926ej-s
8 SHARED_FLAGS-$(CONFIG_ARM_1136)   += -mcpu=arm1136jf-s
9 SHARED_FLAGS-$(CONFIG_ARM_1176)   += -mcpu=arm1176jzf-s
10 SHARED_FLAGS-$(CONFIG_ARM_MPCORE) += -mcpu=mpcore
11 SHARED_FLAGS-$(CONFIG_ARM_CORTEX_A8) += $(call CHECKCC,-mcpu=cortex-a8)
12 SHARED_FLAGS-$(CONFIG_ARM_CORTEX_A9) += $(call CHECKCC,-mcpu=cortex-a9)
13 SHARED_FLAGS                      += -msoft-float
14 SHARED_FLAGS                      += $(call CHECKCC,-mno-thumb-interwork)
15 SHARED_FLAGS                      += -marm -mabi=apcs-gnu
16 LDFLAGS                           += --no-warn-mismatch
17 LD_EMULATION_CHOICE               := armelf armelf_linux_eabi armelf_fbsd