# This file was generated from your Guix configuration. Any changes
# will be lost upon reboot or reconfiguration.
UUID=4835ba7c-55c5-494b-b7ac-d0aa30dcc450 / ext4 defaults
UUID=53E2-4C32 /boot/efi vfat defaults
UUID=EB08-2835 /mnt/pen fat32