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