On Sat, Dec 08, 2018 at 01:38:16PM +0100, Kirill Marinushkin wrote: > First problem: I cannot compile the kernel with my version of compiler > > ~~~~ > $ make defconfig > *** Default configuration is based on 'i386_defconfig' > \# > \# configuration written to .config > \# > $ grep CONFIG_RETPOLINE .config > CONFIG_RETPOLINE=y > $ make > arch/x86/Makefile:224: *** You are building kernel with non-retpoline > compiler, please update your compiler.. Stop. > ~~~~ Does this help? https://git.kernel.org/tip/25896d073d8a0403b07e6dec56f58e6c33678207 -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.