Name	Size	Modified
	../	—	—
	grub	—	Jun 28, 2026
	bootnetriscv64.efi	616 KB	Jun 28, 2026
	initrd.gz	54.9 MB	Jun 28, 2026
	linux	32.9 MB	Jun 28, 2026