Change bootloader to non-efi GRUB

1 files changed, 9 insertions, 30 deletions

diff --git a/vmstore/corpo/corpo-system.scm b/vmstore/corpo/corpo-system.scm
index 8f84c0e..3544847 100644
--- a/vmstore/corpo/corpo-system.scm
+++ b/vmstore/corpo/corpo-system.scm
@@ -30,36 +30,15 @@
                 %base-user-accounts))
 
   (bootloader (bootloader-configuration
-		(bootloader grub-efi-bootloader)
-		(targets (list "/boot/efi"))
-		(keyboard-layout keyboard-layout)))
-
-  ;; replace post-install
-  (swap-devices (list (swap-space
-			(target (uuid
-				  "7a22a333-6a5d-41fe-93a2-e5781031cfd6")))))
-  ;; luks setup - uncomment post-install
-  ;; and provide source UUID once known
-  (mapped-devices (list (mapped-device
-  			  (source (uuid "0c5d284e-e0c7-4dc3-bbca-f82ee6bb82e3"))
-  			  (target "system-root")
-  			  (type luks-device-mapping))))
-
-
-  ;; List of file systems to mount
-  ;; Run 'blkid' for UUIDs.
-  ;; Will change after install
-  (file-systems (cons* (file-system
-			 (mount-point "/boot/efi")
-			 (device (uuid "6919-B0C9"
-				       'fat32))
-			 (type "vfat"))
-		       (file-system
-			 (device (file-system-label "system-root"))
-			 (mount-point "/")
-			 (type "ext4")
-			 (dependencies mapped-devices))
-		       %base-file-systems))
+                (bootloader grub-bootloader)
+                (targets '("/dev/vda"))
+                (terminal-outputs '(console))))
+
+  (file-systems (cons (file-system
+                        (mount-point "/")
+                        (device "/dev/vda1")
+                        (type "ext4"))
+                      %base-file-systems))
 
   ;; Non-free
   (kernel linux)