Valentin Samir 1c9534b082 [pxeboot] Mise à jour des distrib ... En partivulier, certaine ubuntu n'ont plus de vmlinux mais un vmlinux.efi du coup, il faut changer un peu la generation		2013-11-16 23:45:46 +01:00
..
config	[pxeboot] Mise à jour des distrib	2013-11-16 23:45:46 +01:00
mount_ubuntu_live	[pxeboot/mount_ubuntu_live] On a besoin du chemin absolu de la config	2013-01-26 19:47:58 +01:00
pxeboot	[pxeboot] Mise à jour des distrib	2013-11-16 23:45:46 +01:00