Ajouté par Serge Torres il y a plus de 13 ans
Updated GRUB_CMDLINE_XEN_DEFAULT entry.
Voir les différences