GRUB, et tout système d’exploitation décent, accepte n’importe quel format de table de partition quel que soit le mode d’amorçage. GRUB EFI peut être installé et démarrer sur un disque au format DOS/MBR, et amorcer un système ou un autre exécutable EFI situé sur un disque au format DOS/MBR. Par contre il ne peut pas chaîner un secteur d’amorce, qui ne peut être exécuté qu’en mode BIOS/legacy.
L’installateur de Windows 7 exige un disque au format GPT lorsqu’il est démarré en mode EFI. Je supposais qu’il en était de même avec les versions suivantes mais je n’en avais pas la certitude, ne disposant pas d’une telle version pour vérifier. Apparemment c’est le cas.
Je me demandais aussi si cette exigence concernait la partition EFI utilisée pour l’amorçage, la partition système de Windows ou les deux, et si les deux pouvaient être installées sur des disques différents. Je me demandais aussi si l’installateur de Windows utilisait tout partition EFI déjà existante, y compris sur un autre disque, ou en créait une sur le même disque que la partition système. Tout cela, j’aurais pu le tester avec Windows 7, mais je n’ai jamais pris le temps de le faire.
D’après ton expérience, Windows exige au moins que la partition système soit sur un disque au format au format GPT. Tu peux regarder si une seconde partition EFI a été créée sur le disque dur suite à l’installation de Windows ou bien si le chargeur d’amorçage EFI a été installé dans la partition EFI du SSD (dans /EFI/Boot/ et /EFI/Microsoft).
Pour l’indépendance des deux disques et de leurs OS, il vaudrait mieux que Windows ait créé sa propre partition EFI sur le disque dur. Dans le cas contraire, pour l’empêcher d’utiliser la partition EFI du SSD il aurait fallu déconnecter le SSD ou modifier le type de la partition EFI du SSD pour que Windows ne la reconnaisse pas comme telle.
Tu n’as normalement pas besoin de réinstaller Debian ni même GRUB puisqu’un des avantages attendus de l’UEFI est qu’il est possible d’installer plusieurs chargeurs d’amorçage sans qu’ils s’écrasent les uns les autres. Normalement l’entrée d’amorçage EFI de Debian est toujours présente dans les variables EFI, Windows s’est juste positionné en premier dans l’ordre d’amorçage comme n’importe quel OS. Si le firmware UEFI est bien fait , il devrait suffire d’afficher le menu de démarrage UEFI pour sélectionner et démarrer Debian, et être possible de modifier l’ordre de priorité pour que Debian démarre par défaut. Hélas de nombreux firmwares UEFI sont défectueux de diverses façons et ce n’est pas toujours possible.
Depuis un système Linux amorcé en mode EFI, le programme efibootmgr
permet d’afficher et de manipuler les variables de boot EFI.