l4linux GPU direct access

Abhishek Gupta abhishek.ismdhn at gmail.com
Fri Jul 6 11:04:15 CEST 2012

Hello Adam,

I was going to try this but I was thinking may be there is something else
could be done to get xserver working because at the end I have to use
intel graphics driver to run xserver on real hardware.

But I still have one question. How can I link l4 x86emu and fbdrv library
pkg to the
l4linux. Vesa video driver uses vbe module in xserver to initialize int10.
I can use fbdrv init instead at that point and didn't have to make any
changes to the

Abhishek Gupta
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120706/08cc20d0/attachment.htm>

More information about the l4-hackers mailing list