Name	Size	Modified
	../	—	—
	grub	—	Sep 13, 2024
	bootnetriscv64.efi	1 MB	Sep 13, 2024
	initrd.gz	39.4 MB	Sep 13, 2024
	linux	25.6 MB	Sep 13, 2024