Félix

I have the same issue with my Rockpi4A. I also tried all the USB ports without success.

I'm not yet ready to answer this. I'll write a proper blog post + documentation when the callgraph profiler will be ready. That said, (according to git blame) @zimbatm and...

Still relevant.

Same error on NixOS here on the latest release here. It seems like it has been fixed on master by 8be10fa999b6631382c4f71826ee78ea9993f4. This commit is not included in the latest release....

I still have this issue with a ROCK Pi 4 A+ on the current development branch, ie. including #208. It seems like the `usb start` does not do the trick...

So, I went a bit deeper into this issue. I instrumented u-boot to print more logs about the keyboard initialization here: https://github.com/NinjaTrappeur/Tow-Boot/commit/b98e3935d3428d069b1d8aea59f3fdae0cf440f1 I got this at startup:  (sorry for...

I think I finally understand the issue here. Out of despair, I tried using all the keyboards I had around. It turns out that one of the keyboards I own...

@russnes: the `usb start` preboot command has already been merged to the develop branch: https://github.com/Tow-Boot/Tow-Boot/blob/development/boards/radxa-RockPi4/default.nix#L21 (except it's using the towboot infrastructure to perform the preboot command instead of a plain...

So far I mostly used the integration test suite to get a end to end validation of my changes. (`cabal test integration-tests`). That said, being able to generate the documentation...

Thanks for the feedback! Related to #4