diff options
author | David Craven <david@craven.ch> | 2017-02-14 16:28:33 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-03-06 23:54:48 +0100 |
commit | 909de139e7f6ab474e6e510a3c15bb4b4731b8cf (patch) | |
tree | f36455205feddd15819d33d859e8f8bc984d87e6 /srfi | |
parent | ecc4324fef26b5ba14031fe203ebdec1b2cd1fec (diff) | |
download | patches-909de139e7f6ab474e6e510a3c15bb4b4731b8cf.tar patches-909de139e7f6ab474e6e510a3c15bb4b4731b8cf.tar.gz |
vm: Fix full-boot? option.
* gnu/system/vm.scm (virtualized-operating-system): Add full-boot?
option. Don't add a %store-mapping when full-boot? is passed. This leads
the grub-configuration-file procedure to look for the kernel and initrd in
/ instead of /gnu/store.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'srfi')
0 files changed, 0 insertions, 0 deletions