今のDebian sidのRT-kernel パッケージ: linux-image-rt-amd64 (4.8+76) https://packages.debian.org/sid/linux-image-rt-amd64 パッケージ: linux-headers-4.8.0-1-rt-amd64 (4.8.5-1) https://packages.debian.org/sid/linux-headers-4.8.0-1-rt-amd64 こ…

中古PCのパテとトリ part9$ sudo grub-install /dev/sdcInstalling for i386-pc platform.Installation finished. No error reported.$ sudo update-grubGenerating grub configuration file ...Found background: /usr/share/grub/background.pngFound Inte…