#
# Specifics for the Linux-specific Genode components
#

#
# Startup code to be used when building a program and linker script that is
# specific for Linux. We also reserve the thread-context area via a segment in
# the program under Linux to prevent clashes with vdso.
#
ifneq ($(USE_HOST_LD_SCRIPT),yes)
PRG_LIBS         += startup
LD_TEXT_ADDR     ?= 0x01000000
LD_SCRIPT_STATIC  = $(call select_from_repositories,src/platform/genode.ld) \
                    $(call select_from_repositories,src/platform/context_area.nostdlib.ld)
else
LD_SCRIPT_STATIC  =
endif
