Den tors 26 jan. 2023 11:51Michael Grunditz <michael.grund...@gmail.com> skrev:
> 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 > > > > The rockchip uart header is the imx header. I will reduce that to what I > need.
_______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users