genode/repos/dde_linux/ports
Alexander Boettcher daf67f7baa intel_fb: remove x201 workaround
The workaround is no longer needed as we now propagate the proper device
ID as BDF to the kernel in the platform driver.

Issue #1848
2016-01-13 14:58:01 +01:00
..
dde_linux.hash intel_fb: remove x201 workaround 2016-01-13 14:58:01 +01:00
dde_linux.port dde_linux: KMS-based Intel framebuffer driver (II) 2015-11-29 18:17:07 +01:00