diff options
Diffstat (limited to 'dom0/system-laptop.scm')
| -rw-r--r-- | dom0/system-laptop.scm | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/dom0/system-laptop.scm b/dom0/system-laptop.scm index a0e126b..2501f2c 100644 --- a/dom0/system-laptop.scm +++ b/dom0/system-laptop.scm @@ -50,16 +50,16 @@ ;; 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 - (mount-point "/") - (device (uuid - "91be6346-0d17-4c4c-bca4-d08c18afe045" - 'ext4)) - (type "ext4")) %base-file-systems)) + (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)) ;; Non-free (kernel linux) |