matoken:susie: (@matoken@snac.matoken.org)

0 ★ 0 ↺

Debian stableのkernelはlivepatch対応ぽい

$ grep -E 'CONFIG_(HAVE_LIVEPATCH|LIVEPATCH)=' /boot/config-$(uname -r)
CONFIG_HAVE_LIVEPATCH=y
CONFIG_LIVEPATCH=y

(ちょい古いけど)この辺を見るとkpatchで自分でlivepatch作れそう

Developer Tutorial: Live patching Debian 10 Linux kernel-Kpatch https://tuxcare.com/blog/debian-livepatch/

apt source で今のkernelと新しいkernelのsource取得してpatch作ってkpatchで.ko作って当てるとかで行けるのかな?
試してみないとわかんないか

...

0 ★ 0 ↺

日本代理店もある

KernelCare | Linuxカーネルライブパッチツール | GDEP Solutions https://gdep-sol.co.jp/cloud/kernelcare/

0 ★ 0 ↺

そう単純ではなさそうかな
kpatch-build てのが便利そうだけども依存関係が多い……diskがお触れそうなので別環境で試すか