Index of /devterm/sys-boot/gnu-efi/

../
gnu-efi-4.0.4-1.gpkg.tar                           26-Oct-2026 10:45              317440