Make a riscv iso for Guix

Make a riscv iso for Guix

[R]

[-- Attachment #1: Type: text/plain, Size: 62 bytes --]

It would be nice to have a fully libre distro for riscv cpus.

[-- Attachment #2: Type: text/html, Size: 87 bytes --]

Re: Make a riscv iso for Guix

[Efraim Flashner]

[-- Attachment #1: Type: text/plain, Size: 811 bytes --]

On Sat, Dec 14, 2024 at 05:39:00PM -0800, R wrote:
> It would be nice to have a fully libre distro for riscv cpus.

I agree!

My initial look into it suggested that, like armhf and aarch64, we'd
need a separate image for each riscv64 board.  I eventually found this¹
page for installing Debian on the StarFive VisionFive1 board (limited
run, poorly supported upstream), which suggested that the vendor u-boot
image should be able to load an EFI image and boot that way.

Playing with this is high on my todo list.

¹ https://wiki.debian.org/InstallingDebianOn/StarFive/VisionFiveV1

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: Make a riscv iso for Guix

[pelzflorian (Florian Pelz)]

Efraim Flashner <efraim@flashner.co.il> writes:

> On Sat, Dec 14, 2024 at 05:39:00PM -0800, R wrote:
>> It would be nice to have a fully libre distro for riscv cpus.
>
> I agree!
>
> My initial look into it suggested that, like armhf and aarch64, we'd
> need a separate image for each riscv64 board.  I eventually found this¹
> page for installing Debian on the StarFive VisionFive1 board (limited
> run, poorly supported upstream), which suggested that the vendor u-boot
> image should be able to load an EFI image and boot that way.
>
> Playing with this is high on my todo list.
>
> ¹ https://wiki.debian.org/InstallingDebianOn/StarFive/VisionFiveV1

Guix too has such a Visionfive image but for V2.  It works, although
last time `guix pull` failed for me, but I believe pull randomly
succeeds on some days.

https://guix.gnu.org/download/latest/

Regards,
Florian

Re: Make a riscv iso for Guix

[Efraim Flashner]

[-- Attachment #1: Type: text/plain, Size: 1520 bytes --]

On Mon, Dec 16, 2024 at 05:05:09PM +0100, pelzflorian (Florian Pelz) wrote:
> Efraim Flashner <efraim@flashner.co.il> writes:
> 
> > On Sat, Dec 14, 2024 at 05:39:00PM -0800, R wrote:
> >> It would be nice to have a fully libre distro for riscv cpus.
> >
> > I agree!
> >
> > My initial look into it suggested that, like armhf and aarch64, we'd
> > need a separate image for each riscv64 board.  I eventually found this¹
> > page for installing Debian on the StarFive VisionFive1 board (limited
> > run, poorly supported upstream), which suggested that the vendor u-boot
> > image should be able to load an EFI image and boot that way.
> >
> > Playing with this is high on my todo list.
> >
> > ¹ https://wiki.debian.org/InstallingDebianOn/StarFive/VisionFiveV1
> 
> Guix too has such a Visionfive image but for V2.  It works, although
> last time `guix pull` failed for me, but I believe pull randomly
> succeeds on some days.
> 
> https://guix.gnu.org/download/latest/

I should try that image again on my visionfive2.  The last time I tried
it the board wasn't stable, but it might've been the SDcard I was using.
The last round of power blips we had I corrupted the SDcard in my
unmatched board so I had to rebuild it, but now I can actually run guix
deploy to update it.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]