Hello,
Danny Milosavljevic skribis:
> On Sun, 17 Nov 2019 21:35:32 +0100
> Ludovic Courtès wrote:
>> Rather than a list, we could have a ‘make-linux-libre-union’ procedure
>> returning a , so that we preserve consistent typing.
>>
>> That is, people could write:
>>
>> (kernel linux-libre)
>
Hi Ludo,
On Sun, 17 Nov 2019 21:35:32 +0100
Ludovic Courtès wrote:
> Rather than a list, we could have a ‘make-linux-libre-union’ procedure
> returning a , so that we preserve consistent typing.
>
> That is, people could write:
>
> (kernel linux-libre)
>
> or:
>
> (kernel (make-linux-libr
Hello,
Danny Milosavljevic skribis:
>> Thinking more about it, what about handling the union/profile thing in
>> ‘operating-system-directory-base-entries’? We could still use
>> ‘profile-derivation’ with the hook you wrote, but we’d be able to keep
>> that here instead of adding it to (guix pro
Hi Ludo,
On Tue, 22 Oct 2019 14:24:51 +0200
Ludovic Courtès wrote:
> I’m wondering if we could avoid clobbering the global profile with the
> kernel and module packages, though (as is currently the case.)
Sounds good.
> > (define* (operating-system-profile os)
> >"Return a derivation that
Hi Danny,
Danny Milosavljevic skribis:
> A patch to guix master which
>
> * Puts the kernel modules (including any other packages that have
> "lib/modules"
> inside their derivation) into /run/booted-system/profile/lib/modules
> * Ensures that depmod is invoked on that
> * Makes the modprobe wr
Hi Danny,
Danny Milosavljevic writes:
[...]
> A user package (for example if referred to by a system service) would
> propagate-input the kernel module package it requires.
Yes! \O/
[...]
> The limitation of it not be possible for a regular user to add kernel
> modules is OK I think.
When I
A patch to guix master which
* Puts the kernel modules (including any other packages that have "lib/modules"
inside their derivation) into /run/booted-system/profile/lib/modules
* Ensures that depmod is invoked on that
* Makes the modprobe wrapper use it
is provided below.
The case when there's
I just thought of a better way.
Represent the Linux kernel (including out-of-tree-modules) as a profile,
most probably just the system profile (which already exists--extend it).
A user package (for example if referred to by a system service) would
propagate-input the kernel module package it requ
Hi,
On Tue, 09 Jul 2019 00:50:10 +0200
Jelle Licht wrote:
> I have verified this way of loading modules to work, but was wondering
> whether we should rather provide a `out-of-tree-kernel-module' service
> of sorts to do this.
>
> To resolve out-of-tree kernel module dependencies, I guess we wo
ping :-)
Jelle Licht writes:
> Hello Guix,
>
> Not too long ago, the linux-module-build-system was introduced. I ran
> into some code in the wild written by Alex Griffin that defines a
> shepherd service that does the following for a given kernel-module
> package:
>
> - set the LINUX_MODULE_DI
Hello Guix,
Not too long ago, the linux-module-build-system was introduced. I ran
into some code in the wild written by Alex Griffin that defines a
shepherd service that does the following for a given kernel-module
package:
- set the LINUX_MODULE_DIRECTORY environment variable to
/lib/modules
-
11 matches
Mail list logo
