Nothing it just gets stuck at initializing amdfbpudrb (or something similar):. On Fri, Dec 7, 2018 at 7:46 AM Ricardo Wurmus wrote: > > 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 > >