Joshua Branson writes: > Perhaps for now, I'll just throw in this patch that modifies an > guix/system/examples desktop file. The "full blown" desktop has a UEFI > boot, but it does not show the (file-system (type "vfat") ...) example. > This patch should fix that. Pierre pushed an identical patch back in ece2fd121866e4f46c5a4be92c6f09b6c1042ea1, sorry this fell through the cracks. :-)