Just did an install into a new partition from a USB drive created from
exegnu64_devuan_20150624.iso.  But still no entry for it in grub :-(


On 24 June 2015 at 15:20, David Hare <davidahare@...> wrote:
<snip>
> An updated exegnu iso is now posted with a populated /boot/grub/ i386-pc ..
> this should sort any grub issues.. hope this works for anyone affected!