Name	Size	Modified
	../	—	—
	grub	—	Dec 27, 2024
	bootnetriscv64.efi	1 MB	Dec 27, 2024
	initrd.gz	40.8 MB	Dec 27, 2024
	linux	27.7 MB	Dec 27, 2024