Andy Wingo 0d275f4aa3 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>

2015-04-05 23:15:20 +02:00

..

build

install: Create /var/tmp.

2015-03-31 13:59:37 +02:00

packages

gnu: nginx: Clean up installation directories.

2015-04-05 16:13:29 -04:00

services

services: lsh: Change #:initialize? to default to #t.

2015-04-03 22:58:49 +02:00

system

system: Take kernel modules from the user-specified kernel.

2015-04-05 23:15:20 +02:00

artwork.scm

artwork: Update to latest GRUB image.

2015-02-24 23:43:03 +01:00

packages.scm

packages: Fix typo.

2015-04-03 15:20:44 +03:00

services.scm

services: Add 'auto-start?' field to <service>.

2014-11-10 23:23:32 +01:00

system.scm

system: Take kernel modules from the user-specified kernel.

2015-04-05 23:15:20 +02:00