genode/base-linux/mk/spec-linux_arm.mk

#
# Specifics for Linux on ARM
#
SPECS += linux arm

REP_INC_DIR += src/platform/arm

ifeq ($(shell gcc -dumpmachine),arm-linux-gnueabihf)
CC_MARCH += -mfloat-abi=hard
endif

#
# We need to manually add the default linker script on the command line in case
# of standard library use. Otherwise, we were not able to extend it by the
# context area section.
#
ifeq ($(USE_HOST_LD_SCRIPT),yes)
LD_SCRIPT_STATIC = ldscripts/armelf_linux_eabi.xc
endif

#
# Include less-specific configuration 
#
include $(call select_from_repositories,mk/spec-arm.mk)
include $(call select_from_repositories,mk/spec-linux.mk)
base-linux: add ARM support This patch introduces a new platform 'linux_arm' for building and running Genode/Linux on an ARM device. Known limitations: - libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating point registers Fixes #746. 2013-05-24 09:04:42 +00:00			`#`
			`# Specifics for Linux on ARM`
			`#`
			`SPECS += linux arm`

			`REP_INC_DIR += src/platform/arm`

			`ifeq ($(shell gcc -dumpmachine),arm-linux-gnueabihf)`
			`CC_MARCH += -mfloat-abi=hard`
			`endif`

			`#`
			`# We need to manually add the default linker script on the command line in case`
			`# of standard library use. Otherwise, we were not able to extend it by the`
			`# context area section.`
			`#`
			`ifeq ($(USE_HOST_LD_SCRIPT),yes)`
			`LD_SCRIPT_STATIC = ldscripts/armelf_linux_eabi.xc`
			`endif`

			`#`
			`# Include less-specific configuration`
			`#`
			`include $(call select_from_repositories,mk/spec-arm.mk)`
			`include $(call select_from_repositories,mk/spec-linux.mk)`