ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
master
genode/tool/run/boot_dir
History
Alexander Boettcher 4da68e11b6 tool: support to set menuentry of GRUB 
manually to self chosen value, by overwritting the tcl procedure
grub_menuentry, e.g.:

proc grub_menuentry { } { return "'My OS' --option_of_your_choice " }

Fix #5398
2024-12-10 14:12:24 +01:00
..
fiasco tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
foc tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
hw tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
linux tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
nova tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
okl4 tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
pistachio tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00
sel4 tool: support to set menuentry of GRUB 2024-12-10 14:12:24 +01:00