Required, if we want to make code compile-time relocatable. No functional change.
Signed-off-by: Ralf Ramsauer <[email protected]> --- .gitignore | 2 ++ inmates/lib/arm/Makefile | 2 +- inmates/lib/arm/{inmate.lds => inmate.lds.S} | 0 inmates/lib/arm64/Makefile | 2 +- inmates/lib/arm64/{inmate.lds => inmate.lds.S} | 0 5 files changed, 4 insertions(+), 2 deletions(-) rename inmates/lib/arm/{inmate.lds => inmate.lds.S} (100%) rename inmates/lib/arm64/{inmate.lds => inmate.lds.S} (100%) diff --git a/.gitignore b/.gitignore index 727eee34..b4ebeda7 100644 --- a/.gitignore +++ b/.gitignore @@ -14,6 +14,8 @@ modules.order driver/jailhouse.ko hypervisor/include/jailhouse/config.h hypervisor/hypervisor.lds +inmates/lib/arm/inmate.lds +inmates/lib/arm64/inmate.lds tools/jailhouse tools/jailhouse-gcov-extract tools/jailhouse-config-collect diff --git a/inmates/lib/arm/Makefile b/inmates/lib/arm/Makefile index f126bce1..7326c328 100644 --- a/inmates/lib/arm/Makefile +++ b/inmates/lib/arm/Makefile @@ -13,7 +13,7 @@ include $(INMATES_LIB)/Makefile.lib include $(INMATES_LIB)/../arm-common/Makefile.lib -always := lib.a +always := lib.a inmate.lds ccflags-y := -ffunction-sections diff --git a/inmates/lib/arm/inmate.lds b/inmates/lib/arm/inmate.lds.S similarity index 100% rename from inmates/lib/arm/inmate.lds rename to inmates/lib/arm/inmate.lds.S diff --git a/inmates/lib/arm64/Makefile b/inmates/lib/arm64/Makefile index 465c274b..554c0d1f 100644 --- a/inmates/lib/arm64/Makefile +++ b/inmates/lib/arm64/Makefile @@ -13,7 +13,7 @@ include $(INMATES_LIB)/Makefile.lib include $(INMATES_LIB)/../arm-common/Makefile.lib -always := lib.a +always := lib.a inmate.lds lib-y := $(COMMON_OBJECTS) lib-y += header.o diff --git a/inmates/lib/arm64/inmate.lds b/inmates/lib/arm64/inmate.lds.S similarity index 100% rename from inmates/lib/arm64/inmate.lds rename to inmates/lib/arm64/inmate.lds.S -- 2.12.2 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
