[bug#48314] Patches to install guix system on Raspberry Pi

[Danny Milosavljevic]

Hi Mark,
Hi Leo,

could you look at 06-gnu-linux-new-function-to.patch of this patchset?

It provides the user a means of (slightly) editing kernel configs using a
high-level interface, called "modify-linux".

What do you think?

@Stefan: On the other hand, I'm not sure of the general utility of 
make-defconfig.
I've never needed something like it in decades.  Is it worth exporting as public
from (gnu packages linux) ?  Sounds like a too weird special case to have 
general
utility.

pgpjGTK069s7U.pgp
Description: OpenPGP digital signature