rive gauche,
Er gebeurt niets als ik op het pijltje klik. Het hokje wordt oranje, dat is alles.
Bij de tab GParted > Devices zie ik ook als enige /dev/sda (3.76 GiB)
Verder heb ik Grub toegevoegd aan de trusted secure boot settings (zoals beschreven in de handleiding die je stuurde).
Er is een nieuwe boot optie bijgekomen: grubx64.efi, maar ook als ik deze kies, blijven bovenstaande problemen bestaan.