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
Den tors 26 jan. 2023 11:51Michael Grunditz michael.grunditz@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.
Hello Michael,
thank you very much for providing your source code to everyone, and congratulations for rocking Genode on rk3588!
Currently, I'm quite busy with preparations regarding the FOSDEM 2023. But after that weekend, I'm looking forward to review your crt0.s additions and will try to integrate it upstream into base-hw.
Best regards Stefan
On Thu, Jan 26, 2023 at 11:51:42AM +0100, Michael Grunditz wrote:
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
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
On Mon, 30 Jan 2023 at 14:49, Stefan Kalkowski stefan.kalkowski@genode-labs.com wrote:
Hello Michael,
thank you very much for providing your source code to everyone, and congratulations for rocking Genode on rk3588!
Currently, I'm quite busy with preparations regarding the FOSDEM 2023. But after that weekend, I'm looking forward to review your crt0.s additions and will try to integrate it upstream into base-hw
Should be fine.. just need to lowercase the change :-)
Hello Michael,
I've opened an issue in our tracker at:
https://github.com/genodelabs/genode/issues/4759
where we can discuss the integration of the low-level bootstrap changes to enable the RK3588.
Best regards Stefan
On Mon, Jan 30, 2023 at 07:25:34PM +0100, Michael Grunditz wrote:
On Mon, 30 Jan 2023 at 14:49, Stefan Kalkowski stefan.kalkowski@genode-labs.com wrote:
Hello Michael,
thank you very much for providing your source code to everyone, and congratulations for rocking Genode on rk3588!
Currently, I'm quite busy with preparations regarding the FOSDEM 2023. But after that weekend, I'm looking forward to review your crt0.s additions and will try to integrate it upstream into base-hw
Should be fine.. just need to lowercase the change :-)
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
Grats Michael,
On Thu, Jan 26, 2023 at 11:51:42 CET, Michael Grunditz wrote:
I have made a github repo for my Rockchip port.
[...]
The requirement for running this is a RK3588 board with uboot that support USB and HDMI. You need to run "usb start" before booting.
Sounds easy to reproduce. Which hardware would you recommend? It seems the QuartzPro64 is not (resp. no longer) for sale.
Regards
Den mån 30 jan. 2023 15:45Christian Helmuth < christian.helmuth@genode-labs.com> skrev:
Grats Michael,
On Thu, Jan 26, 2023 at 11:51:42 CET, Michael Grunditz wrote:
I have made a github repo for my Rockchip port.
[...]
The requirement for running this is a RK3588 board with uboot that support USB and HDMI. You need to run "usb start" before booting.
Sounds easy to reproduce. Which hardware would you recommend? It seems the QuartzPro64 is not (resp. no longer) for sale.
https://preorder.pine64.org/ , you need to register in order to get one. The enduser systems aren't out yet.
On Qp64 uboot needs a bit of help to convince the vop ( graphic chip). I am happy to share patch if someone decides to get a board.
I would like to have help with the build system regarding usb drivers.
Thanks, Michael
Hello Michael,
On Mon, Jan 30, 2023 at 17:58:44 CET, Michael Grunditz wrote:
Den mån 30 jan. 2023 15:45Christian Helmuth christian.helmuth@genode-labs.com skrev:
Sounds easy to reproduce. Which hardware would you recommend? It seems the QuartzPro64 is not (resp. no longer) for sale.
https://preorder.pine64.org/ , you need to register in order to get one. The enduser systems aren't out yet.
Thanks for the URL! I just applied for a pre-order board.
Regards
Hi Michael,
On 1/26/23 11:51, Michael Grunditz wrote:
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.
I compiled your Rockship repo, looks good to me! We will try to get a QuartzPro64 board in order to test your effort.
Regarding the USB host driver, I would suggest to not base it on the old dde_linux version but on our current porting approach [1] [2] [3] [7] [8]. As a reference you could use the Allwinner USB host driver [4]. Stefan will also give a talk about it at FOSDEM'23 [4]. This should make porting easier and you could base the driver on possible vendor kernel sources. The imx repo already contains a DWC3 controller port, but doesn't use the tiny config approach [9]. It still can be used as reference.
[1] http://genodians.org/skalk/2021-04-06-dde-linux-experiments [2] http://genodians.org/skalk/2021-04-08-dde-linux-experiments-1 [3] http://genodians.org/skalk/2021-06-21-dde-linux-experiments-2 [4] https://github.com/genodelabs/genode-allwinner/tree/master/src/drivers/usb_h... [5] https://fosdem.org/2023/schedule/event/ddtransplant/ [6] https://github.com/genodelabs/genode-imx/tree/master/src/drivers/usb_host/im... [7] http://genodians.org/nfeske/2021-09-03-pine-fun-networking [8] http://genodians.org/nfeske/2021-12-21-pine-fun-display [9] https://genodians.org/nfeske/2021-05-12-pine-fun-linux
Cheers,
Sebastian
Regarding the USB host driver, I would suggest to not base it on the old dde_linux version but on our current porting approach [1] [2] [3] [7] [8]. As a reference you could use the Allwinner USB host driver [4]. Stefan will also give a talk about it at FOSDEM'23 [4]. This should make porting easier and you could base the driver on possible vendor kernel sources. The imx repo already contains a DWC3 controller port, but doesn't use the tiny config approach [9]. It still can be used as reference.
[1] http://genodians.org/skalk/2021-04-06-dde-linux-experiments [2] http://genodians.org/skalk/2021-04-08-dde-linux-experiments-1 [3] http://genodians.org/skalk/2021-06-21-dde-linux-experiments-2 [4] https://github.com/genodelabs/genode-allwinner/tree/master/src/drivers/usb_h... [5] https://fosdem.org/2023/schedule/event/ddtransplant/ [6] https://github.com/genodelabs/genode-imx/tree/master/src/drivers/usb_host/im... [7] http://genodians.org/nfeske/2021-09-03-pine-fun-networking [8] http://genodians.org/nfeske/2021-12-21-pine-fun-display [9] https://genodians.org/nfeske/2021-05-12-pine-fun-linux
Thanks for your input on this. I will try this in a week or so. I decided to take a break from coding, since I coded 24/7 from new year to some days ago.
Linux pc is disconnected from power :-)
Michael
-
Christian Helmuth -
Michael Grunditz -
Sebastian Sumpf -
Stefan Kalkowski