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! 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.
