-
Committer:
Martin Decky
-
Date:
2011-11-30 12:05:30 UTC
-
Revision ID:
martin@decky.cz-20111130120530-uu5n091pvhxmhrvt
add configuration choice to boot the ISO image using GRUB for BIOS (common PC) or GRUB for UEFI
a hybrid BIOS/UEFI boot ISO should be also possible to create, but the current mkisofs does not support this