備忘録、親OSでupdate-grubしないと子OSのカーネルは更新されない！

Debian-10のカーネル更新がありました。

起動メニューの先頭Debian、つまり起動メニューを仕切ったDebianは再起動でカーネルが新しくなりましたが、起動メニューの二番手以降のDebianはそのままではカーネルが新しくなりません。先頭のDebianでupdate-grubする必要があります。

親Debianから