On Thu 13 Apr 2017 at 20:05:22 +0200, Pascal Hambourg wrote: > David is right : you don't really boot from the SD card. The OP never claimed he was booting from the SD card. He particularly said he did not install GRUB to the card. > GRUB is on the HDD. The kernel is on the HDD. Only the root filesystem is on > the SD card. Yes. That's what the linux line says too. -- Brian.