On 17.04.23 22:00, John J. Karcher wrote:
Image [3] contains the driver based upon Linux kernel 6.1 as be part of Genode staging branch. Image [4] is a variation, which tries to use more of the drm/kms interfaces [2] (and is still work-in-progress). Ideally, both just work. Please also try to attach/detach connectors multiple times to stress the driver a bit.
[snip]
[3] https://depot.genode.org/alex-ab/images/intel_display_6_1.img [4] https://depot.genode.org/alex-ab/images/intel_display_6_1_drm_kms.img
Sorry for the delay in running these tests, but I am happy to report that both 6.1 images worked fine on my ThinkPad L380 Yoga (with 16GB RAM) [1]. I tried it both with and without the external monitor, as well as plugging and unplugging the HDMI cable as quickly as I could.
If you have any more test images, I will be happy to test those also (hopefully more quickly)!
Thanks for testing and reporting back !
Cheers,