l4linux GPU direct access

Abhishek Gupta abhishek.ismdhn at gmail.com
Tue Jul 3 11:45:08 CEST 2012

Hi Adam,

I have checked the xserver code and found that the DEFAULT_INT10 was already
set to x86emu and it was already using x86emu to execute the int10.

Also, there is one more mode vm86 in which int10 can be executed but it uses
the vm86 system call which is not supported in l4linux.

Is there a way to add vm86 system call to the l4linux?

Also, I have tried with video drivers cirrus, qxl but none of them worked.
I tried Ubuntu on vmware player and it uses vmware video driver to run
xserver and does not uses int10.

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

More information about the l4-hackers mailing list