matthewbauer / nixiosk

Declarative Kiosk systems built with NixOS
MIT License
141 stars 12 forks source link

RPi 4 not booting #20

Open Frostman opened 3 years ago

Frostman commented 3 years ago

Hello,

I've just followed instructions and successfully built it, but my RPi 4 failing to boot from it... Last log messages are approx.:

loading module vc4...
raspberrypi-firmware soc:firmware: Request 0x00040013 returned status 0x0000000000
...
vc4-drm soc:gpu: failed to bind fe600000.firmwarekms (ops vc4_fkms_ops [vc4]): -22

So, no idea where to check to move forward... Thank you!