Ubuntu カーネル入替GUIツールのインストール

2024 Jan. 27.

$ sudo add-apt-repository ppa:cappelikan/ppa
$ sudo apt update
$ sudo apt install mainline