~martin-decky/helenos/rcu

Viewing all changes in revision 1305.

  • 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

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: