That's great! Please let us know if you find something we should improve. Can GuixSD be installed with UEFI instead of BIOS?