genode/repos/base/ports
Alexander Boettcher 7a5eab9541 grub2: make ISO bootable on hardware
With "grub2: update to newer grub2 2.06 version" a regression slipped in
which makes the ISO not bootable on real hardware. The commit reverts to
the previous behaviour, to load the GRUB2 modules after boot later one by
one in the ISO format case.

Fixes #4647
2022-11-17 08:00:34 +01:00
..
grub2.hash grub2: make ISO bootable on hardware 2022-11-17 08:00:34 +01:00
grub2.port grub2: make ISO bootable on hardware 2022-11-17 08:00:34 +01:00