Ubuntu Server 18.04では割と新しいカーネル 4.15が利用できます。 今回は諸事情でディストリビューション標準のカーネルではなく、独自ビルドしたカーネルを使うことにしました。 VanillaカーネルとはLinuxディストリビューションがメンテナンスするカーネ…