../ grub/ 14-Sep-2024 00:49 - bootnetriscv64.efi 14-Sep-2024 00:49 1M initrd.gz 14-Sep-2024 00:49 39M linux 14-Sep-2024 00:49 26M