Ok, dommage.
Donc ce que tu pourrai faire c'est ajouter une entrée manuellement dans le
Grub, dans le fichier
/etc/grub.d/40_custom (attention à ne pas modifier les lignes déjà existantes).
Malheureusement je ne sais pas faire pour un système comme Android (même si ça reste un Linux), je ne veux pas te dire n'importe quoi.
Renseigne toi sur la modification de ce fichier, en tapant "
grub 40_custom" dans Google.
Si tu peux faire un retour sur tes recherches et éventuellement la solution, ça serai sympas 🙂
Edit: j'ai trouvé un
topic qui pourrait être intéressant, je ne l'ai pas entièrement lu.
