Name	Size	Modified
	../	—	—
	grub	—	Jul 1, 2025
	bootnetriscv64.efi	1.1 MB	Jul 1, 2025
	initrd.gz	41.4 MB	Jul 1, 2025
	linux	29.7 MB	Jul 1, 2025