[okl4-developer] Fwd: my machine configuration

[Christian Helmuth]

Hi,

On Mon, Oct 19, 2009 at 08:21:25PM +1030, Peter Nguyen wrote:
>> From: Jorge Torres <jorge.torres.maldonado at gmail.com>
>> Date: 19 October 2009 9:47:52 AM
>> To: Peter Nguyen <petern at cs.adelaide.edu.au>
>> Subject: Re: my machine configuration
>>
>> ive never tried using the vga driver, dont really know who has, but my 
>> best advise is for you to test it with the serial one, ive herad that 
>> people at dresden University has ported DROPS ontop of OKL4 1.5, you 
>> may want to try that, they may have a nicer env for ia32, and a bunch 
>> of more drivers,

I've never heard of any port of DROPS to OKL4 1.5, but maybe you refer
to Genode on OKL4 2.1? To give it a try you may download our latest
demo from

  http://genode.org/genode-2009-09b.iso

Genode includes support for PS/2 keyboard and mouse as well as a
simple VESA VBE driver to setup the frame buffer.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/