Fwd: my machine configuration

[Peter Nguyen-2]

Some javascript/style in this post has been disabled (why?)

OK, thanks for that Jorge. I will send this on the okl4 list to see if anyone else has any ideas.

Begin forwarded message:

From: Jorge Torres <[hidden email]>

Date: 19 October 2009 9:47:52 AM

To: Peter Nguyen <[hidden email]>

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,

jorge

On Sun, Oct 18, 2009 at 3:53 PM, Peter Nguyen <[hidden email]> wrote:

Jorge,

If i'm using OKL4 v1.5.2, isn't vga functionality enabled by specifying ia32_pc99_vga as the machine parameter?

I've done this, and it still won't work. I still get the output with hexadecimal values, and nothing else.

Does anyone else have any idea what's going on?

Peter N

Jorge Torres wrote:

oh, I see, is there anyway you can have serial output enabled, and test it?, otherwise you'll need a vga driver,

On Sat, Oct 17, 2009 at 6:14 PM, Peter Nguyen <[hidden email] <mailto:[hidden email]>> wrote:

   Jorge,

   The problem i'm having is that when i choose L4 for bootup, I get
   the trace sequence that i sent you previously (ie. the output with
   hexadecimal values) but then i don't get any other output apart
   from that. I have even tried to disable serial output, but to no
   avail. I can run OKL4 via the simulator, but i want to run OKL4
   natively for experimentation.

   -----------------------------------------------------
   Peter Nguyen
   Jacaranda Research Group




   On 18/10/2009, at 10:21 AM, Jorge wrote:

       hi peter I must tell you that I've Just runned okl, and had no
       problems, what is it that you're doing? it's been some time
       since I last played with okl, would love to help, but cant get
       what the problem is,
       Jorge

       On Oct 17, 2009, at 10:50 PM, Peter Nguyen

       <[hidden email] <mailto:[hidden email]>>

       wrote:

           Hi Jorge,

           I thought I should also mention that I'm using a Dell
           inspiron laptop, which uses a intel centrino processor. I
           figure this is fine given the processor is 32-bit

           Peter N

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer

[Christian Helmuth]

Hi,

On Mon, Oct 19, 2009 at 08:21:25PM +1030, Peter Nguyen wrote:

>> From: Jorge Torres <[hidden email]>
>> Date: 19 October 2009 9:47:52 AM
>> To: Peter Nguyen <[hidden email]>
>> 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/

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer