Hi
I have made a github repo for my Rockchip port. It is only RK3588 for now, but I plan to add rk3399 for supporting Pinebook Pro.
There are a number of things not working.Most irritating is USB. My old tree had driver in dde_linux repo. Currently if built with drivers-interactive it fails in a couple of library dependencies. If built from a run file it won't build all lx_kit files needed. Feel free to help me, fork and make pull request.
There is a crt0.s in the start directory that you can copy to base-hw. I hope it doesn't break things. It is required for this platform, probably because I start genode with "go" and not bootm. I can't get bootm to work.
The requirement for running this is a RK3588 board with uboot that support USB and HDMI. You need to run "usb start" before booting.
The video driver gets the screen mode from what uboot has configured with EDID. Works just fine with 1080p monitor. But not with a 4k monitor,
Well this is it! I have enjoyed it so far. I have tried to being careful with authours by adding myself and kept original developer where appropriate. Please fix if I did something wrong there. It might also be traces from A64 port , which you also can remove if you find any.
I also kept the license and base copyright which means that I give this away to The labs.
Have fun.
The repo: https://github.com/mickenx/genode-rockchip
Michael