On Sat, May 19, 2007 at 01:23:57PM +0200, Robert Millan wrote: > > > Sounds like broken device.map. What contents does it have? > > > > It is empty. > > Then run grub-mkdevicemap and see if it generates a proper one. It does generate a proper map, and that fixes the problem. Thanks! -- Yann.