Hi Adam,
Thanks for your suggestion. We tried what you suggested and it worked. But that's not what we want. We want Graphics Acceleration and use vesa framebuffer.
How can I make sure that int10 is passed to the l4linux by l4 and executes int10 module successfully.