mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-04 21:14:13 +00:00
dcd4578585
This disambiguates the boot images installed for base-hw from those installed for base-nova. Note that the image.elf file for other kernels (i.e., NOVA) is not named image-<kernel>.elf at this point because this would prevent the update from a pre-24.04 Sculpt system to a later one as the grub.cfg is not touched by the old update mechanism. So after a system update, grub would keep loading the last installed image.elf. Issue #5182 |
||
|---|---|---|
| .. | ||
| fiasco | ||
| foc | ||
| hw | ||
| linux | ||
| nova | ||
| okl4 | ||
| pistachio | ||
| sel4 | ||