Bug#1012222: marked as done (linux: please enable the CONFIG_X86_KERNEL_IBT configuration option)

Your message dated Tue, 16 May 2023 14:14:32 +0200 with message-id and subject line Re: Bug#101: linux: please enable the CONFIG_X86_KERNEL_IBT configuration option has caused the Debian Bug report #101, regarding linux: please enable the CONFIG_X86_KERNEL_IBT configuration option to be m

Bug#1012222: linux: please enable the CONFIG_X86_KERNEL_IBT configuration option

Version: 6.3.1-1~exp1 Hi Laurent, Le 2022-06-01 18:53, Laurent Bonnaud a écrit : > Package: src:linux > Version: 5.18.0-trunk > Severity: wishlist > > > Dear kernel Maintainers, > > the CONFIG_X86_KERNEL_IBT configuration option is currently not enabled in > Debian kernels: > > $ grep CONFIG