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