Hello Adam,

I was going to try this but I was thinking may be there is something else that
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
xserver.

Abhishek Gupta