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