GNU bug report logs - #33719
Bug: Unable to use an inferior package as a kernel in the system configuration

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: <pkill9 <at> runbox.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#33719: closed (Bug: Unable to use an inferior package as a
 kernel in the system configuration)
Date: Sat, 09 Feb 2019 10:59:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sat, 09 Feb 2019 10:58:16 +0000 (GMT)
with message-id <E1gsQKu-0000x9-JE <at> rmmprod07.runbox>
and subject line Bug: Unable to use an inferior package as a kernel in the system configuration
has caused the debbugs.gnu.org bug report #33719,
regarding Bug: Unable to use an inferior package as a kernel in the system configuration
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
33719: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33719
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: <pkill9 <at> runbox.com>
To: "bug-guix" <bug-guix <at> gnu.org>
Subject: Bug: Unable to use an inferior package as a kernel in the system
 configuration
Date: Wed, 12 Dec 2018 17:33:35 +0000 (GMT)

When putting an inferior package in the 'kernel' field of the system configuration, Guix fails with

```
gnu/system.scm:909:35: In procedure kernel->boot-label:
In procedure package-name: Wrong type argument: #<inferior-package linux-libre <at> 4.18.15 4182150>
```

The issue is very simple: The function that creates the text for a boot entry (`kernel->boot-label`) gets the name and version of the kernel using the functions `package-name` and `package-version`, which are incompatible with inferior packages.
The `(guix inferior)` module provides equivalent functions for inferior packages: `inferior-package-name` and `inferior-package-version`. Here's a patch that demonstrates which part needs to be changed:

```
diff --git a/gnu/system.scm b/gnu/system.scm
index a5a8f40d6..3c3fe94ad 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -21,6 +21,7 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

 (define-module (gnu system)
+  #:use-module (guix inferior)
   #:use-module (guix store)
   #:use-module (guix monads)
   #:use-module (guix gexp)
@@ -906,8 +907,8 @@ listed in OS.  The C library expects to find it under
 (define (kernel->boot-label kernel)
   "Return a label for the bootloader menu entry that boots KERNEL."
   (string-append "GNU with "
-                 (string-titlecase (package-name kernel)) " "
-                 (package-version kernel)
+                 (string-titlecase (inferior-package-name kernel)) " "
+                 (inferior-package-version kernel)
                  " (beta)"))

 (define (store-file-system file-systems)
```

I tested this and it made inferior-packages able to be used as a kernel - I'm running that kernel on my system now, I wrote a guide on how to do that if anyone's interested, which includes an example of how to add it to your system configuration: http://miha.info/2018-Dec-09/how-to-add-a-modified-kernel-built-using-a-previous-guix-commit-to-your-system-configuration/

I assume the solution is to modify the `kernel->boot-label` function to check if the package passed to it is an inferior package, and use the compatible functions to get the name and version of the package depending on if it's inferior or not, however I don't know scheme/guile well enough to do this, and I don't know if this is the correct solution to do, so it would be great if someone could else could create a patch that fixes this.

[Message part 3 (message/rfc822, inline)]

From: <pkill9 <at> runbox.com>
To: "33719-done" <33719-done <at> debbugs.gnu.org>
Subject: Bug: Unable to use an inferior package as a kernel in the system
 configuration
Date: Sat, 09 Feb 2019 10:58:16 +0000 (GMT)

Fixed with guix commit bdc61ff97d26d5d87020d07dfd43c0a552bd3449

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.