genode/repos/base/ports
Alexander Boettcher 193e14a489 grub2: avoid switching modes
to reduce flickering during boot

Issue #2778
2018-06-12 12:11:44 +02:00
..
grub2.hash grub2: avoid switching modes 2018-06-12 12:11:44 +02:00
grub2.port grub2: avoid switching modes 2018-06-12 12:11:44 +02:00