23 Aug
2024
23 Aug
'24
5:05 p.m.
Hello!
I have updated my genode-rockchip to include RK3399. Unfortunately none of the targets starts using Genode from git. They doesn't survive the jump from bootstrap/ctr0 to bootstrap/init.
https://github.com/mickenx/genode-rockchip
Michael