Bei Linux habe ich leider Null Ahnung. Würde gerne helfen. Sorry. Habe im BIOS (1408) nur gesehen, dass man (glaube unter Bootoptionen) "Windows UEFI (oder so ähnlich) oder "Other OS" einstellen kann. Habe "other OS" obwohl ich WIN11 verwende eingestellt, da mit dieser Einstellung die Bootzeit...