Hello.

Last time i booted in Guix on RockPro64 the keyboard and video output were 
not working in U-boot.

Same on Debian, PostmarketOS, etc.

This patch seems to fix that, but on NixOS:
https://github.com/NixOS/nixpkgs/commit/1dec71e52a2e71974d01a525f82a34f7c83869cd

Sharing in case someone also has the issue, and willing to test.

Vagrant Cascadian may wish to see the patch.

-- 
Sent with Delta Chat Messenger