Linuxumsteiger Tealk 7. November 2021 um 12:05 Viele Systeme haben auch eine Taste fürs Bootmenü, bei den meisten Tuxedo Geräten ist das F7, Dell z.B. F12; dann muss man auch nix im Bios umstellen.