On 2017-11-27 11:00, Henning Schild wrote: > Am Mon, 27 Nov 2017 08:40:40 +0100 > schrieb "[ext] Jan Kiszka" <[email protected]>: > >> From: Jan Kiszka <[email protected]> >> >> Latest 4.15 kernel comes with the ORC unwinder and, along that, a >> number of build-time checks on object files. These are tailored for >> the kernel and do not go well with both our inmates and the userspace >> tools, e.g.: >> >> .../jailhouse.o: warning: objtool: read_file() falls through to next >> function parse_cell_id() .../jailhouse.o: warning: objtool: help() >> falls through to next function open_dev() .../jailhouse.o: warning: >> objtool: open_dev() falls through to next function cell_simple_cmd() >> (because of lacking knowledge about no-return functions) >> >> Disable them for x86 inmates, currently the only affected arch, and >> the tools. >> >> Signed-off-by: Jan Kiszka <[email protected]> >> --- >> inmates/lib/x86/Makefile.lib | 1 + >> tools/Makefile | 1 + >> 2 files changed, 2 insertions(+) >> >> diff --git a/inmates/lib/x86/Makefile.lib >> b/inmates/lib/x86/Makefile.lib index 3f167757..955fa801 100644 >> --- a/inmates/lib/x86/Makefile.lib >> +++ b/inmates/lib/x86/Makefile.lib >> @@ -38,6 +38,7 @@ >> >> KBUILD_CFLAGS += -m64 -mno-red-zone >> GCOV_PROFILE := n >> +OBJECT_FILES_NON_STANDARD := y >> >> define DECLARE_TARGETS = >> _TARGETS = $(1) >> diff --git a/tools/Makefile b/tools/Makefile >> index cc64109d..4bc6ef53 100644 >> --- a/tools/Makefile >> +++ b/tools/Makefile >> @@ -21,6 +21,7 @@ KBUILD_CFLAGS := -g -O3 >> -DLIBEXECDIR=\"$(libexecdir)\" \ -DJAILHOUSE_VERSION=\"$(shell cat >> $(src)/../VERSION)\" $(EXTRA_CFLAGS) LDFLAGS := >> GCOV_PROFILE := n >> +OBJECT_FILES_NON_STANDARD := y > > Maybe this guy should get an x86-only ifdef around it? >
It's nop on other archs, and it will be needed once that changes. Jan -- Siemens AG, Corporate Technology, CT RDA ITP SES-DE Corporate Competence Center Embedded Linux -- 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.
