update

[l4.git] / kernel / fiasco / src / Makeconf.arm

diff --git a/kernel/fiasco/src/Makeconf.arm b/kernel/fiasco/src/Makeconf.arm
index de9b54ecf973a4af6224035499533c75d3b9580d..8bc60a9ee93b46d1cbb8be7aee2cbadd6b23dd55 100644 (file)
--- a/kernel/fiasco/src/Makeconf.arm
+++ b/kernel/fiasco/src/Makeconf.arm
@@ -13,5 +13,4 @@ SHARED_FLAGS                    += -msoft-float
 SHARED_FLAGS                      += $(call CHECKCC,-mno-thumb-interwork)
 SHARED_FLAGS                      += -mabi=apcs-gnu
 LDFLAGS                           += --no-warn-mismatch
-LD_EMULATION-SYSTEM-FreeBSD      := armelf_fbsd
-LD_EMULATION-SYSTEM-default      := armelf
+LD_EMULATION_CHOICE               := armelf armelf_linux_eabi armelf_fbsd