Made a #MNTReform kernel for #Guix ... and used my MNT Reform2 rk3588 to build the kernel and successfully booted to #Debian !
With 32GB of ram, 8 moderately fast arm64 cores and an NVMe disk, it seems quite viable to run Guix.
Probably still missing some functionality, but the screen, mouse, keyboard, ethernet all work, at least!
Thanks @josch for organizing those patches so nicely for the reform-debian-packages repository!
Nice! I have a PR on codeberg to get a bootable GuixSD ISO which is pretty close to done: https://codeberg.org/lykso/mnt-reform-nonguix/pulls/4 If you find any inspiration (or have some capacity to review/help) please let me know!
I think it's pretty clean, up until I c/p'd the template ISO expression from gnu/system/install.scm (L707-L1095): https://codeberg.org/lykso/mnt-reform-nonguix/src/commit/4bfc0df9725f6188efeb3786b99df9aaa58af4fa/mnt-reform/rk3588.scm but I'm mostly coming from nix and am a guile n00b.
Most of the code is just a translation of https://source.mnt.re/reform/reform-rk3588-uboot/-/blob/main/build.sh?ref_type=heads while accounting for guix quirks.
The last roadblock I think I'm running into seems to be placing uboot at the right offset in the ISO. I was going to drop into the IRC and pester folks about the final push in the IRC (from experience this really means I'm going to poke @josch : P). Just waiting for a good weekend to do this.
Took a look at your mnt-reform-guix repository...
Mostly looking to borrow examples to extract the linux patches from the reform-debian-packages as a referenced git repository rather than shipping them in guix directly... looks like you do a that more-or-less. Although my guile skills may not be sufficient to fully wrap my head around it!
Also just build tested arm-trusted-firmware-rk3588 and it is really just a two-liner patch against guix upstream. No idea if it *works* yet. :)
An ostensibly complete #Guix System #MNTReform rk3588 configuration:
https://codeberg.org/vagrantc/mnt-reform-guix-config/src/branch/main/config-mnt-reform.scm
caveats:
It could use workarounds from https://source.mnt.re/reform/reform-tools in particular to get ethernet working more reliably.
It does build a full working u-boot image, but does not actually install it directly, that requires a manual step:
sudo dd if=u-boot-rockchip.bin of=/dev/sdX seek=64
I took a leap of faith and installed it directly to eMMC and was lucky enough to not regret it. :)