../ grub/ 14-Sep-2024 15:00 - bootnetriscv64.efi 13-Sep-2024 22:49 1097728 initrd.gz 13-Sep-2024 22:49 41314090 linux 13-Sep-2024 22:49 26887168