> 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 [email protected] https://lists.genode.org/listinfo/users
