coen

coen copied to clipboard

jwilk

jwilk

Add support for boot on EFI machines.

1

1. Switch from ISOLINUX to GRUB for bootloader. - GRUB configuration is derived from original ISOLINUX configuration. - Requires mtools release from Debian _testing_ distribution to fix [#900410](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=900410) 2. Add...

sheurich