Re: Invoking int 0x10 from a service

Christian Helmuth <[email protected]> Fri, 11 Jan 2008 11:38:16 +0100

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Organization	TU Dresden, Dept. of CS
Message-ID	<[email protected]>

Hi,

On Fri, Jan 11, 2008 at 02:38:11PM +0900, Alexandre Courbot wrote:
> Do you know a way to workaround this without modifying Pistachio?

You could use an x86 emulator library. We do that in L4Env for Fiasco to
execute VESA BIOS code. Just have a look at

  http://svn.tudos.org/repos/tudos/trunk/l4/pkg/x86emu
  http://svn.tudos.org/repos/tudos/trunk/l4/pkg/l4con/server/src/ARCH-x86/gmode-arch.c

The approach proved to be easily portable as we also use it in our new
(non-L4Env) microkernel environment.

Greets
-- 
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group
http://os.inf.tu-dresden.de/~ch12