Hi Ryan, > I used sudo dd if=guixsd-install-0.16.0.x86_64-linux.iso of=/dev/sdb to > make the usb work in uefi mode What errors do you get (if any)? -- Ricardo