diff options
Diffstat (limited to 'vmstore/corpo/corpo-system.scm')
| -rw-r--r-- | vmstore/corpo/corpo-system.scm | 39 |
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) |