Andy Wingo <[email protected]> skribis: > From 1dbdc673654f94868b0176876dd83fb8b5bfe68c Mon Sep 17 00:00:00 2001 > From: Andy Wingo <[email protected]> > Date: Fri, 3 Apr 2015 12:25:26 +0200 > Subject: [PATCH 1/3] Allow specification of #:linux kernel when making an > initrd > > * gnu/system/linux-initrd.scm (base-initrd): Add #:linux option to > specify the linux kernel to use. > * gnu/system/vm.scm (expression->derivation-in-linux-vm): Propagate > #:linux to base-initrd. > (system-qemu-image, virtualized-operating-system): Delegate to the > wrapped OS object's initrd builder, to allow the OS to specify the > kernel.
I’ve applied the patch with a slight difference: #:linux is systematically passed from ‘operating-system-initrd-file’, as is done for mapped devices. Thanks! Ludo’.
