On Tue 18 Apr 2017 at 20:42:40 +0200, Pascal Hambourg wrote: > Le 17/04/2017 à 21:04, Brian a écrit : > >On Sat 15 Apr 2017 at 00:07:39 +0200, Pascal Hambourg wrote: > > > >>No. The only bug is that the system installed on the SD card boots while it > >>should not. > > > >Why shouldn't the system boot? It has the same kernel that is on the > >hard disk > > By chance. In a more general case, it would not boot.
Agreed. I've said as much elsewhere. Indeed, the OP never uses anything but Jessie so luck was involved - there is no kernel/initrd mismatch. What is intriguing is that the search error message was not observed at the store. > If the distribution installed on the SD card had a different kernel, or > located in a different path, or if the initramfs on the internal drive did > not include generic drivers but only the ones needed to mount the root > filesystem from the internal drive (MODULES=dep instead of MODULES=most in > /etc/initramfs-tools/initramfs.conf), it would not boot. True. I've experienced all of this. -- Brian.