{ ... }: { disks = { crypt = "470a6d23-9f08-4c4d-afbb-63d6df1ab6a6"; boot = "4A39-D0DF"; root = "75e6536a-4836-4f50-86b3-f9250edca3c0"; }; }