On Sat, Jun 14, 2025 at 04:53:47PM -0400, Leo Famulari wrote: > On Sat, Jun 14, 2025 at 01:17:24PM -0400, Jordan Moore wrote: > > Im using arm32 on some raspberry pi's so I can assist that effort and for a > > few others probably (i have a few arm64, rv64 and other machines lying > > around i could rig into a testing farm). > > Awesome! I would appreciate help with any and all kernel-related stuff, > but I'm specifically planning to stop working on armhf/arm32. > > So, if you'd like to have kernels from Guix for your Pis, please help > with that :) > > > What is your desired process for making the new configs? (Beyond taking the > > old config, and selecting the defaults). For gentoo (as an example), the > > only process there is re-use the fedora configs and then combine with the > > gentoo-specific additions (which I don't think guix has anything special? > > Correct me if im wrong). > > Historically, we've created fully-featured kernel configs that support > any piece of hardware that a user could reasonably be expected to have. > So, not a minimal kernel. But, for these older ARM platforms that are > generally not very powerful, I think we should feel free to go in > another direction if the people that are making the kernels desire it > (that could be you!). > > We also have some 'generic' kernels for ARM, that seem to just select > the defaults. Maybe we keep both the generic kernels and the ones > configured by hand, I don't know. That can be up to you!
As the owner of several aarch64 and riscv64 machines, I can tell you that if they are running Guix System then I have them using the -generic kernel. > The basic process will be to create the kernel config for the new kernel > version. Then, we need to test it. Either you can build it yourself and > boot with it, or we can use the build farm to build. > > I honestly can't tell the status of armhf building on our two build > farms, ci.guix.gnu.org and bordeaux.guix.gnu.org. Long ago we had native > armhf machines, but I don't know if we still do. I assume that the > aarch64 machines can build for armhf, or maybe we'd have to build in a > virtual machine. I can facilitate changes on the build farms, but I need > other people to make decisions about what to do. I have one of the Novena boards on my desk next to me. I haven't gotten it up and running yet, but it has been retired from the Guix build farm. I planned on using it locally for some armhf specific builds. -- Efraim Flashner <efr...@flashner.co.il> אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature
