Is there an ARM (or RISC-V) SBC under 200 euros where Guix system either works out of the box or costs little effort to set up?

Guix
1

Or which SBC is easiest to run Guix system on?

[edit]

I changed the title a bit after Howardpan’s reply, since I consider RISC-V > ARM64 > X86-64 due to license types.
So Orange Pi 6 it should be,
except that I’m not gonna spend more than 200 euros on an SBC.

2

I would think the Radxa X4 or any x86 based SBC would work out of the box. Otherwise, I would guess an SBC with UEFI (Orange Pi 6).

3

Which ARM SBC under 200 euros would then take the least amount of work?
Orange Pi 5+?

Everything on this platinum list?

Is it a good idea to go for UEFI?
Would it not be a better idea to go U-boot? linuxboot/u-root?

4

If you go with UEFI, wouldn’t you be able to boot directly with the installer downloaded from the guix.gnu.org web site?

5

I’m not sure what you’re talking about, but my idea now is that I buy an Orange Pi 5+, install Raspberry Pi OS on it, then install EDK2 UEFI firmware on it, so I can run the Guix aarch64 iso.

6

We are saying the same thing. I just wasn’t sure one can install UEFI on to OPI5. That’s all. You might also want to take compilation time into consideration. Best of luck.

7

Is there a guide for this or are you writing about your approach and progress somewhere? I’d be very interested in the process and the results.

8

Ah, well so far I just ordered the thing via aliexpress and came to the conclusion that I bought the wrong case for it. Orange Pi 5 and Orange Pi 5 Pro are not the same cards, so the case did not fit.
So I’m waiting for a new case and a heatsink, before I even begin with replacing the firmware.
I also discovered that the Orange Pi 5 Pro has a slot for NVMe SSD, but these are too expensive for me at the moment.

9

This is a fork where someone’s trying to get a mnt-reform working which has the same chipset base (rk3588)

They’re trying to run the proprietary software on it which is a pain the put back in.

I’ve been looking at doing this. I have an orangepi 5+, but I’m stuck on the bootloader. I’d really like to get a PXE boot workflow going but still working on my VyOS router (kinda not though)

How different would this be with UEFI? Why is it so much simpler? It’s never really clear to me what the differences are between boards.

This NixOS user has put a lot of effort into similar boards: matthewcroughan/matthew-hardware