diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-05 22:47:16 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-04-05 23:15:20 +0200 |
| commit | 0d275f4aa3d1457658fa754e6a0c07fbcc4b88af (patch) | |
| tree | ee46ca7170a2b8a30bbde43d0cf0b0c321b0ee13 /AUTHORS | |
| parent | 59446b208c9b3a9f1901cd6ba518768220903dc9 (diff) | |
| download | patches-0d275f4aa3d1457658fa754e6a0c07fbcc4b88af.tar patches-0d275f4aa3d1457658fa754e6a0c07fbcc4b88af.tar.gz | |
system: Take kernel modules from the user-specified kernel.
* 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.
* gnu/system.scm (operating-system-initrd-file): Pass #:linux to
'make-initrd'.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions