Re: Issues and improvement for `kernel-loadable-modules'

2020-03-26 Thread Brice Waegeneire
Hello Danny, Sorry for the empty email; cancel and send buttons were too close for me... On 2020-03-26 15:13, Danny Milosavljevic wrote: Hi Brice, On Thu, 26 Mar 2020 14:34:03 + Brice Waegeneire wrote: First I was expecting the packages in `kernel-loadable-modules' to use the `kernel' f

Re: Issues and improvement for `kernel-loadable-modules'

2020-03-26 Thread Brice Waegeneire
On 2020-03-26 15:13, Danny Milosavljevic wrote: Hi Brice, On Thu, 26 Mar 2020 14:34:03 + Brice Waegeneire wrote: First I was expecting the packages in `kernel-loadable-modules' to use the `kernel' field as their kernel input or to have a simple procedure to do so. Otherwise you get a “Sp

Re: Issues and improvement for `kernel-loadable-modules'

2020-03-26 Thread Danny Milosavljevic
Hi Brice, On Thu, 26 Mar 2020 14:34:03 + Brice Waegeneire wrote: > First I was expecting the packages in `kernel-loadable-modules' to use > the > `kernel' field as their kernel input or to have a simple procedure to do > so. Otherwise you get a “Specified Linux kernel and Linux kernel modul

Issues and improvement for `kernel-loadable-modules'

2020-03-26 Thread Brice Waegeneire
Hello Guix, Thanks to Danny's work in[0] we have, since a few days, a way for packages to provide Linux modules in the system profile. I have been waiting for such a feature since I packaged `ddcci-driver-linux', which was kind of useless without it. Using the new field `kernel-loadable-modules