The GCC 9 compiler is due to be published in the upcoming few months and among the numerous new and improved features is an option intended to help generate binaries which are favorable for live-patching purposes. Together with the Linux 5.2 kernel, this option will probably be used by default when building a kernel using live-patching support and that has the capacity for some small slowdowns…