{ ... }: { device.disks = { boot = "5BD3-FDE6"; crypt = "7171d4c2-fd27-45ed-b058-31bab14681e8"; root = "f2b17157-1e79-4a44-8349-e611c4768949"; }; }