# 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:** 6\ **Page:** 2
**Author:** ![gabber](https://avatars.discourse-cdn.com/v4/letter/g/e79b87/32.png) [@gabber](https://forum.systemcrafters.net/u/gabber)\ **Post date:** [July 15, 2026, 8:24am 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/21 "2026-07-15T08:24:31Z")
Guix also works fine on Pine64 boards. The Pinebook works (at least somewhat), but the RockPro RK3399 do well. These are all relatively cheap but you might have to figure out some of the quirks as you go (: I guess similar to @theesm 's reply most RISC-V boards ought to work (though I have not tested any of that in a while) I guess the best board for you primarily depends on how you intend to use it! ---
**Author:** ![teal](https://avatars.discourse-cdn.com/v4/letter/t/71c47a/32.png) [@teal](https://forum.systemcrafters.net/u/teal)\ **Post date:** [September 29, 2026, 7:37pm 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/22 "2026-09-29T19:37:35Z")
Can I get a hint at what one can use as a starting point? I see snippets of config here and there and mention of having to do something with uboot, but what is everyone starting with to bootstrap? Are you starting from some other Linux with the guix package manager installed? Is there a minimal guix boot disk somewhere that can be booted on arm? The mnt reform link above points at hardware much like what I have, but I’m not sure where to start. ---
**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:** [October 1, 2026, 2:04pm 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/23 "2026-10-01T14:04:43Z")
I eventually had to settle with Armbian. I can’t recall why I had to give up, but the motherboard really needs UEFI support if one wants to run Guix on an ARM board. ---
**Author:** ![sudheer](https://avatars.discourse-cdn.com/v4/letter/s/848f3c/32.png) [@sudheer](https://forum.systemcrafters.net/u/sudheer)\ **Post date:** [October 18, 2026, 3:00pm 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/24 "2026-10-18T15:00:17Z")
u may get risc v single board computers here… thats in the price range > **[Milk-V](https://milkv.io/)** > > Milk-V is committed to providing high quality RISC-V products to developers, enterprises and consumers, and to promoting the development of the RISC-V hardware and software ecosystem. Milk-V will firmly support open source, and hopes that through its... ---
**Author:** ![joshuawhite](https://avatars.discourse-cdn.com/v4/letter/j/9f8e36/32.png) [@joshuawhite](https://forum.systemcrafters.net/u/joshuawhite)\ **Post date:** [November 9, 2026, 4:31am 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/25 "2026-11-09T04:31:37Z")
The extlinux.conf approach matches what I’ve seen discussed for rk3588 boards generally: stock U-Boot scans /boot/extlinux, so passing u-boot-bootloader in the bootloader-configuration is what makes Guix cooperate instead of expecting to write the bootloader itself. For the Orange Pi 5+, the practical check is whether its DTS is upstreamed in the kernel tree you mentioned; if it is, the same layout should hold, and if not you’re building a custom kernel package around it. Keeping the Guix partitions offset from the eMMC U-Boot region is worth planning before you partition. ---
**Author:** ![lucasjones](https://avatars.discourse-cdn.com/v4/letter/l/f07891/32.png) [@lucasjones](https://forum.systemcrafters.net/u/lucasjones)\ **Post date:** [November 9, 2026, 5:23pm 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/26 "2026-11-09T17:23:55Z")
The distinction between stock U-Boot actually finding extlinux.conf versus Armbian’s install scripts overwriting the boot chain is the part that clicks for me. On the Orange Pi 5+, the main thing I’d verify before assuming a direct port is whether its upstream DTS is already in mainline; the bootloader-configuration approach only helps if the kernel can describe the board. If the DTS is still out-of-tree, you’d be maintaining a custom kernel package regardless of U-Boot. Worth confirming that first, since it determines how much effort this really costs. [Previous 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=1)