Salut!
Il y a un dossier EFI dans /boot, donc UEFI à priori.
F8 fonctionne et j'ai donc acces à mon noyau temps réel, cela dit, j'aimeraisqu'il ne soit pas caché par défaut.
voila mon /etc/default/grub : je peux l'éditer directement? La question a l'air con, mais je ne me suis jamais vraiment penché sérieusement sur l'UEFI, et il m'est arrivé de galéré à retrouver un boot correct...
RUB_TIMEOUT=5
GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
GRUB_DEFAULT=saved
GRUB_DISABLE_SUBMENU=true
GRUB_TERMINAL_OUTPUT="console"
GRUB_CMDLINE_LINUX="resume=/dev/mapper/fedora-swap rd.lvm.lv=fedora/root rd.lvm$
GRUB_DISABLE_RECOVERY="true"