From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:36028) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iUaHn-0004qP-90 for guix-patches@gnu.org; Tue, 12 Nov 2019 12:49:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iUaHm-0000qM-17 for guix-patches@gnu.org; Tue, 12 Nov 2019 12:49:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:49509) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iUaHl-0000qI-Up for guix-patches@gnu.org; Tue, 12 Nov 2019 12:49:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iUaHl-0005qy-RW for guix-patches@gnu.org; Tue, 12 Nov 2019 12:49:01 -0500 Subject: [bug#37868] [PATCH] guix: Allow multiple packages to provide Linux modules in the system profile. Resent-Message-ID: From: Giovanni Biscuolo In-Reply-To: <20191112172048.61ba69eb@scratchpost.org> References: <20191022152238.12856-1-dannym@scratchpost.org> <20191112172048.61ba69eb@scratchpost.org> Date: Tue, 12 Nov 2019 18:47:57 +0100 Message-ID: <874kz9ouk2.fsf@roquette.mug.biscuolo.net> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Danny Milosavljevic , 37868@debbugs.gnu.org Cc: Mark H Weaver , ludo@gnu.org --=-=-= Content-Type: text/plain Hi Danny, Danny Milosavljevic writes: [...] > any comments about this patch? I still don't understand the internals of Guix to be able to comment yout patch, anyway... [...] > Rationale of the patch: > > * Make Linux more modular, allowing the user to specify a union of Guix packages > to use as "the kernel" (especially kernel modules). this would be a nice to have feature! > > Summary of the patch: > > * Add a profile hook "linux-module-database" which creates the union of all > system packages that have a subdirectory "lib/modules" in their derivation, > then invokes depmod on that union and then provides the result in the system > profile. > > * Adapt modprobe to check "lib/modules" inside the system profile, if available. > Fall back to "/run/booted-system/kernel/lib/modules" otherwise. > > For the case where a person has just reconfigured Guix but doesn't want to reboot, > modprobe will still work, taking the modules of the old generation (which doesn't > necessarily have Linux kernel modules inside the profile yet--because it doesn't > necessarily have this patch yet. But maybe it does). > > * Adapt operating-system-profile to automatically add the Kernel's modules to > the system profile (since the system profile would be the only place searched, > not doing so would be very bad). > > * Adapt linux-build-system not to invoke depmod again. Also, its worldview > would be incomplete anyway because it wouldn't have the entire system profile. > > Open questions: > > * Why doesn't operating-system-profile successfully add linux-libre ? > It should. I don't think Guix ever gets there in the first place. (adding > linux-libre to operating-system's "packages" field manually does work) > > * Do we want to have this stuff in the system profile or do we want to have > a "kernel profile" instead or something? I don't think the latter would help > us much, but if we want it, better do it now. > > * Do we want to be able to add kernel modules in this fashion without requiring > a reboot? If so, that would make the situation a lot more complicated and I > don't see a safe way to do that. --=-=-= Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" --==-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-=20 Giovanni Biscuolo Xelera IT Infrastructures --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEERcxjuFJYydVfNLI5030Op87MORIFAl3K8E0ACgkQ030Op87M ORK7Sw//eY58xlU477UID0nj71YpeDziEtcLhtmDUmlVsg1jcU1/0NNNOuhAw+ys GRSwR8HXbKTpe1yZgdTo9sszEF1WhEXiTTL2VV1xYj8XtiqwpYDpnwsKYewsBScf ehHmQBbK7Y91EDpp64sWkCFYS7SB/DaRyChLbgWcQ3/xMw7TtFKpUl/8UZTp6GJM NV8xtKjVH4dnv554cISppIvArR5DsEAUn+r47KcgxCwdPStNvV//niGNHSw+KFi/ 1Y3fy6jZhuooD+SgN0DxlrPCQfqtktlMSxHmocc4PY48o2IScdSAkKuJ8bcnEnxH 2OPcC5+bXfykXDmK4t2paykfUlU/fSSuOMs8DTYvbHO2L2A3Heqfu20EZy4Wg3Ee 9IMGTY8najcfACXvfEt6TcFBfyzOR0NgTsOiCfubk5Lb0S/fHUOmjDlIMdM3mjX1 3DQK8UaAsxnsDaFgloerSXmFsQOmLK+DH6xS5z60TVwPqKbsX5gYo41m2ncCfBsc rEO/NUsht+EUd3rrLCDPxKG418NOLIaKIFIoAT7mkTzJcr4z+F7PfGImPhtIgmfc 00DYs1Ql8MTeNt/QFJET0yCzvWtMyiRmyrtv8SaVazlGFZIGbD9Xob+pUQedh4Vf lPjKeADJIpO9buWzOOwJMsKRHhKKh1N+/yzMPjQwe86w7FYnyOk= =DfZ9 -----END PGP SIGNATURE----- --==-=-=-- --=-=-=--