# 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