Thank you Mathieu for looking at this problem. I'm on irc with the Gallium OS guys and they say that they are using grub, not syslinux. You can talk to them directly here if you want : https://kiwiirc.com/client/irc.freenode.net#galliumos
Thank you Mathieu for looking at this problem. /kiwiirc. com/client/ irc.freenode. net#galliumos
I'm on irc with the Gallium OS guys and they say that they are using grub, not syslinux.
You can talk to them directly here if you want :
https:/