On Sun, Jun 15, 2025, at 09:05, Efraim Flashner wrote:
> I also see in the linux kernel tree there's a arch/x86/configs/xen.config
> that I assume is a minimal kernel for configs running on top of a
> machine running Xen. I think it might be nice to offer something
> similar for running on a VPS,
Hi Leo,
On Sat, Jun 14, 2025, at 16:53, Leo Famulari wrote:
> So, if you'd like to have kernels from Guix for your Pis, please help
> with that :)
Cool! I'll happily do that.
> Historically, we've created fully-featured kernel configs that support
> any piece of hardware that a user could reasona
Apologies for the top post, I dont usually email from mobile.
- Jordan
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).
What is your desired process for making the new configs? (Beyond taking the old
config, and selecting the d
Hi guix,
I'll toss it out there that rwp on #savannah mentioned that automated use of
savannah git should use the smart git anon interface if possible, eg. making a
dumb git crawler might be a long term solution to get the bootstrap artifacts
to survive outages like this.
To work around the cu
Another thing to keep in mind is that packaging for development is different
than packaging for a distribution. Packaging for a distribution you only want
to pull in packages from stackage that are required to build eg. xmonad or
shellcheck.
However having robust importing for when those needs
