diff options
| -rw-r--r-- | vmstore/corpo/corpo-system.scm | 39 | ||||
| -rw-r--r-- | vmstore/corpo/files/nonguix-signing-key.pub | 6 |
2 files changed, 15 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) diff --git a/vmstore/corpo/files/nonguix-signing-key.pub b/vmstore/corpo/files/nonguix-signing-key.pub new file mode 100644 index 0000000..56ee811 --- /dev/null +++ b/vmstore/corpo/files/nonguix-signing-key.pub @@ -0,0 +1,6 @@ +(public-key + (ecc + (curve Ed25519) + (q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98#) + ) + ) |