floss.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
For people who care about, support, and build Free, Libre, and Open Source Software (FLOSS).

Administered by:

Server stats:

682
active users

Made a kernel for ... and used my MNT Reform2 rk3588 to build the kernel and successfully booted to !

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!

git.savannah.gnu.org/cgit/guix

Thanks @josch for organizing those patches so nicely for the reform-debian-packages repository!

source.mnt.re/reform/reform-de

git.savannah.gnu.orgguix.git - GNU Guix and GNU Guix System

@vagrantc

Nice! I have a PR on codeberg to get a bootable GuixSD ISO which is pretty close to done: codeberg.org/lykso/mnt-reform- 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): codeberg.org/lykso/mnt-reform- but I'm mostly coming from nix and am a guile n00b.

Most of the code is just a translation of source.mnt.re/reform/reform-rk 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.

Codeberg.orgWIP: rk3588the start of some work on rk3588, based on A311D.scm.

@sam @josch

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. :)

@vagrantc @josch

Awesome! I didn't even realize it was in there! I'm very excited to see what you come up with!

Vagrant Cascadian

@sam @josch

An ostensibly complete System rk3588 configuration:

codeberg.org/vagrantc/mnt-refo

caveats:

It could use workarounds from source.mnt.re/reform/reform-to 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. :)

Summary card of repository vagrantc/mnt-reform-guix-config
Codeberg.orgmnt-reform-guix-config/config-mnt-reform.scm at mainmnt-reform-guix-config