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(a)gmail.com> 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!