manuel 8ba9dfeac8 update 32bit bootloaders		2023-11-28 10:17:45 -01:00
..
boot/grub	update 32bit bootloaders	2023-11-28 10:17:45 -01:00
isolinux	update 32bit bootloaders	2023-11-28 10:17:45 -01:00