{ rootPartition = "/dev/disk/by-uuid/850e0a62-fd82-4360-b4d7-258817e86380"; swapPartition = "/dev/disk/by-uuid/6144d426-6c5f-4a8a-ac16-d4d5eecbf7a0"; efiPartition = "/dev/disk/by-uuid/E5A8-38EA"; isHiDPI = true; isIntel = true; }