Re: video and usb driver (rk3588)

2023-01-18 Thread Michael Grunditz
> I have a display now and it is really fast! However clipping doesn't
> work as it should. It doesn't crash but it makes graphics a bit blurry
> if active, and so is mouse pointer. There is no speed gain with
> clipping.


Solved! I had "CACHE" as attribute for the dma buffer. I changed to
WRITE_COMBINED now, and it all works!
Thanks to Norman who suggested cache problems.

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users


4K display

2023-01-18 Thread Michael Grunditz
Hi!

I am using u-boot to init graphics. U-boot uses edid, so I am reading
the graphic chip to find out the screen mode.

This works just fine in 1080p. But if I use my 4k monitor I get an
unhandled exception.

Is 4K a  general problem?

Michael

___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users