From 909de139e7f6ab474e6e510a3c15bb4b4731b8cf Mon Sep 17 00:00:00 2001 From: David Craven Date: Tue, 14 Feb 2017 16:28:33 +0100 Subject: vm: Fix full-boot? option. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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 --- gnu/system/vm.scm | 34 +++++++++++++++++++++------------- 1 file changed, 21 insertions(+), 13 deletions(-) diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index 103af37c9a..5c6e7f684a 100644 --- a/gnu/system/vm.scm +++ b/gnu/system/vm.scm @@ -365,7 +365,7 @@ (define (mapping->file-system mapping) (check? #f) (create-mount-point? #t))))) -(define (virtualized-operating-system os mappings) +(define* (virtualized-operating-system os mappings #:optional (full-boot? #f)) "Return an operating system based on OS suitable for use in a virtualized environment with the store shared with the host. MAPPINGS is a list of to realize in the virtualized OS." @@ -381,6 +381,15 @@ (define user-file-systems (string-prefix? "/dev/" source))))) (operating-system-file-systems os))) + (define virtual-file-systems + (cons (file-system + (mount-point "/") + (device "/dev/vda1") + (type "ext4")) + + (append (map mapping->file-system mappings) + user-file-systems))) + (operating-system (inherit os) (initrd (lambda (file-systems . rest) (apply base-initrd file-systems @@ -391,17 +400,16 @@ (define user-file-systems ;; Disable swap. (swap-devices '()) - (file-systems (cons* (file-system - (mount-point "/") - (device "/dev/vda1") - (type "ext4")) - - (file-system (inherit - (mapping->file-system %store-mapping)) - (needed-for-boot? #t)) - - (append (map mapping->file-system mappings) - user-file-systems))))) + ;; XXX: When FULL-BOOT? is true, do not add a 9p mount for /gnu/store + ;; since that would lead the bootloader config to look for the kernel and + ;; initrd in it. + (file-systems (if full-boot? + virtual-file-systems + (cons + (file-system + (inherit (mapping->file-system %store-mapping)) + (needed-for-boot? #t)) + virtual-file-systems))))) (define* (system-qemu-image/shared-store os @@ -474,7 +482,7 @@ (define* (system-qemu-image/shared-store-script os bootloader; otherwise it directly starts the operating system kernel. The DISK-IMAGE-SIZE parameter specifies the size in bytes of the root disk image; it is mostly useful when FULL-BOOT? is true." - (mlet* %store-monad ((os -> (virtualized-operating-system os mappings)) + (mlet* %store-monad ((os -> (virtualized-operating-system os mappings full-boot?)) (os-drv (operating-system-derivation os)) (image (system-qemu-image/shared-store os -- cgit v1.2.3