# 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? **URL:** \ **Category:** Guix\ **Created:** [May 25, 2026, 7:23am UTC](https://forum.systemcrafters.net/t/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/2023 "2026-05-25T07:23:10Z")\ **Posts on this page:** 20\ **Page:** 1
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [May 25, 2026, 7:23am UTC](https://forum.systemcrafters.net/t/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/2023/1 "2026-05-25T07:23:10Z")
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. ---
**Author:** ![howardpan](https://avatars.discourse-cdn.com/v4/letter/h/96bed5/32.png) [@howardpan](https://forum.systemcrafters.net/u/howardpan)\ **Post date:** [May 25, 2026, 11:29pm UTC](https://forum.systemcrafters.net/t/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/2023/2 "2026-05-25T23:29:38Z")
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). ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [May 26, 2026, 2:42pm UTC](https://forum.systemcrafters.net/t/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/2023/3 "2026-05-26T14:42:31Z")
Which ARM SBC under 200 euros would then take the least amount of work? Orange Pi 5+? Everything on this platinum list? > **[GitHub - edk2-porting/edk2-rk3588: EDK2 UEFI firmware for Rockchip RK3588 platforms](https://github.com/edk2-porting/edk2-rk3588#platinum)** > > EDK2 UEFI firmware for Rockchip RK3588 platforms Is it a good idea to go for UEFI? Would it not be a better idea to go U-boot? linuxboot/u-root? ---
**Author:** ![howardpan](https://avatars.discourse-cdn.com/v4/letter/h/96bed5/32.png) [@howardpan](https://forum.systemcrafters.net/u/howardpan)\ **Post date:** [May 28, 2026, 7:18am UTC](https://forum.systemcrafters.net/t/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/2023/4 "2026-05-28T07:18:52Z")
If you go with UEFI, wouldn’t you be able to boot directly with the installer downloaded from the [guix.gnu.org](http://guix.gnu.org) web site? ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [May 30, 2026, 9:13am UTC](https://forum.systemcrafters.net/t/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/2023/5 "2026-05-30T09:13:16Z")
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. ---
**Author:** ![howardpan](https://avatars.discourse-cdn.com/v4/letter/h/96bed5/32.png) [@howardpan](https://forum.systemcrafters.net/u/howardpan)\ **Post date:** [May 30, 2026, 11:49am UTC](https://forum.systemcrafters.net/t/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/2023/6 "2026-05-30T11:49:39Z")
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. ---
**Author:** ![teal](https://avatars.discourse-cdn.com/v4/letter/t/71c47a/32.png) [@teal](https://forum.systemcrafters.net/u/teal)\ **Post date:** [June 7, 2026, 12:43pm UTC](https://forum.systemcrafters.net/t/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/2023/7 "2026-06-07T12:43:33Z")
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. ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [June 7, 2026, 10:21pm UTC](https://forum.systemcrafters.net/t/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/2023/8 "2026-06-07T22:21:07Z")
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. ---
**Author:** ![aionfork](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/aionfork/32/1243_2.png) [@aionfork](https://forum.systemcrafters.net/u/aionfork)\ **Post date:** [June 10, 2026, 12:45am UTC](https://forum.systemcrafters.net/t/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/2023/9 "2026-06-10T00:45:33Z")
This is a fork where someone’s trying to get a mnt-reform working which has the same chipset base (rk3588) > **[mnt-reform-nonguix](https://codeberg.org/potatoes/mnt-reform-nonguix)** > > mnt-reform-nonguix 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](https://codeberg.org/matthewcroughan/matthew-hardware/src/branch/mc/wip) ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [June 15, 2026, 4:56pm UTC](https://forum.systemcrafters.net/t/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/2023/10 "2026-06-15T16:56:56Z")
Well I did something unbelievably stupid. I did not check what models Orange Pi has and thus confused 5 Plus with 5 Pro. ---
**Author:** ![aionfork](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/aionfork/32/1243_2.png) [@aionfork](https://forum.systemcrafters.net/u/aionfork)\ **Post date:** [June 15, 2026, 6:06pm UTC](https://forum.systemcrafters.net/t/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/2023/11 "2026-06-15T18:06:06Z")
Yeh they’re different. `OrangePi 5+ > 5-Pro > 5` Which one did you get? ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [June 15, 2026, 9:55pm UTC](https://forum.systemcrafters.net/t/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/2023/12 "2026-06-15T21:55:59Z")
I got the 5-Pro. With all the USB-ports it looked great to me. ---
**Author:** ![aionfork](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/aionfork/32/1243_2.png) [@aionfork](https://forum.systemcrafters.net/u/aionfork)\ **Post date:** [June 15, 2026, 10:22pm UTC](https://forum.systemcrafters.net/t/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/2023/13 "2026-06-15T22:22:18Z")
I can’t remember what the exact differences are. The Orange pi 5+ I got has: - 2 Ethernet, 2 HDMI out, one HDMI in - 16 GB RAM, eMMC, NVMe - SOC with CPU, integrated GPU and some NPU I doubt I’ll be able to use The NPU requires rebuilding stuff with ONNX to map ML to the supported NPU API for rockchip’s rknn. They get hot though, so you need to jump through some extra hoops to cool the CPU if your driving it hard ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [June 15, 2026, 10:27pm UTC](https://forum.systemcrafters.net/t/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/2023/14 "2026-06-15T22:27:42Z")
I bought a heatsink for it. I’m gonna use it as a server node. Could it be that I could use the SD-card as some kind of bootloader for the NVMe SSD card, which I don’t have, but could buy. ---
**Author:** ![aionfork](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/aionfork/32/1243_2.png) [@aionfork](https://forum.systemcrafters.net/u/aionfork)\ **Post date:** [June 16, 2026, 12:33am UTC](https://forum.systemcrafters.net/t/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/2023/15 "2026-06-16T00:33:07Z")
it can be configured to boot from SD, eMMC or NVMe – i think using either UEFI and u-boot. it ships with u-boot. you have to go through installing the basic OrangePi ubuntu build first. or armbian. that gives you some CLI tools. it’s better to keep it the way it is until you’ve used it a bit. You can boot from SD, but it’s slow. writing the image to SPI flash can go badly & brick the device. I think you can restore using [MaskROM](https://www.reddit.com/r/OrangePI/comments/1853978/why_do_people_keeping_bricking_their_orange_pi_5/) mode, but the app is in chinese ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [June 26, 2026, 1:07pm UTC](https://forum.systemcrafters.net/t/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/2023/16 "2026-06-26T13:07:57Z")
So far the development is reordering… - Power Supply 5V 4A Type-C → Power Supply 5V 5A Type-C - SATA-600 M.2 SSD → NVMe M.2 SSD I have done everything wrong so far I think. I also get the feeling that the Orange Pi ranks their numbers on raw power, instead of modernity, similar to what Loongson has done with their CPUs. ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [July 1, 2026, 8:36am UTC](https://forum.systemcrafters.net/t/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/2023/17 "2026-07-01T08:36:04Z")
An update. I’ve got the NVMe M.2 SSD. I have yet to figure out how to get Armbian to boot Guix. ---
**Author:** ![Folaht](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/folaht/32/1145_2.png) [@Folaht](https://forum.systemcrafters.net/u/Folaht)\ **Post date:** [July 2, 2026, 5:34am UTC](https://forum.systemcrafters.net/t/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/2023/18 "2026-07-02T05:34:51Z")
[Update] I figured out how to get Armbian to boot Armbian on the NVMe, but that was just through running the armbian-install. I asked on the forum if I could use Armbian to boot Guix, but they said it was impossible? I figured that I probably need to ‘dd’ the guix system install a USB drive rather than the NVMe directly. So here’s the setup I’m thinking of: - SD card with pure U-boot installed on it. (no more Armbian) - USB device with ‘guix system install aarch64’ installed on it. - NVMe device where the guix system will be installed to. So the pure U-boot would have to boot the USB device first and the NVMe device… somehow. I’ll install pure U-boot images and see what it does. ---
**Author:** ![theesm](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/theesm/32/175_2.png) [@theesm](https://forum.systemcrafters.net/u/theesm)\ **Post date:** [July 6, 2026, 4:43pm UTC](https://forum.systemcrafters.net/t/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/2023/19 "2026-07-06T16:43:59Z")
Guix runs perfectly fine on rk3588 mnt reform laptops in a “bring your own u-boot” setup (I’m typing this on a rk3588 pocket reform running guix system right now), going the nonguix route isn’t required at all. Passing: ```auto (bootloader (bootloader-configuration (bootloader u-boot-bootloader))) ``` in the bootloader section will generate a `/boot/extlinux/extlinux.conf` that will be found and consumed by an already present stock u-boot. I’d avise to just get u-boot from somewhere else (or use an already present u-boot on emmc) and make sure that guixes partitions have enough offset to not accidentally overwrite it (documented pocket reform things here: [Installing And Running Guix System On (rk3588) MNT Pocket Reform -- literatelisp.eu](https://me.literatelisp.eu/installing-and-running-guix-system-on-rk3588-mnt-pocket-reform.html)) Generally speaking, most rk3588 SBCs should work well enough. I would recommend to check [linux/arch/arm64/boot/dts/rockchip at master · torvalds/linux · GitHub](https://github.com/torvalds/linux/tree/master/arch/arm64/boot/dts/rockchip) if the DTS for a specific SBC you’re planning to buy is upstreamed already (as otherwise one would have to come up with a custom kernel package including said DTS to make things work). Hope this helps! ---
**Author:** ![aionfork](https://yyz1.discourse-cdn.com/flex029/user_avatar/forum.systemcrafters.net/aionfork/32/1243_2.png) [@aionfork](https://forum.systemcrafters.net/u/aionfork)\ **Post date:** [July 7, 2026, 5:45pm UTC](https://forum.systemcrafters.net/t/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/2023/20 "2026-07-07T17:45:49Z")
awesome, thanks for the links. it’s hard for me to find confirmation of this. do you think the same approach would boot u-boot on an orange-pi 5+? these also have rk3588 [Next page](https://forum.systemcrafters.net/t/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/2023.md?page=2)