Comment 5 for bug 1965689

Revision history for this message
Jeremie Tamburini (jeremie2) wrote :

@Heinrich Schuchardt (xypron)
Thanks, tried both workarounds but with no success.

Didn't mention before but switching on my computer I can still get the EFI boot menu pressing F12. From there I can select any other system and set one of them as the default system at boot.