mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 23:20:55 +00:00
4da68e11b6
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