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?

Henning

>  # force no-pie for distro compilers that enable pie by default
>  KBUILD_CFLAGS += $(call cc-option, -fno-pie)

-- 
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.

Reply via email to