l4-hackers Digest, Vol 124, Issue 4

Lluís Vilanova vilanova at ac.upc.edu
Mon Aug 5 13:08:40 CEST 2013

Adam Lackorzynski writes:

> On Mon Aug 05, 2013 at 01:22:17 +0300, Lluís Vilanova wrote:
>> Hey, thanks for the response and the offer to keep me posted on the problem :)
>> Last time I tried with QEMU the system was working perfectly fine (with "make
>> qemu"). Unfortunately, I need to run it on a real machine to get some
>> performance measurements.

> Use grub1 is a quick tip, possibly via netboot (pxegrub). A short look
> at current grub2 shows me some interesting and likely changed behaviour
> but I didn't check further right now.

> https://os.inf.tu-dresden.de/~adam/grub/0.97/

Oh! I forgot to add that everything but the serial console works. I suppose I'll
have to manually copy any timing numbers I print from my experiments.

Just in case, here's my grub1 entry:

    title L4 (original)
      root (hd1,0)
      kernel /l4-orig/bootstrap -serial
      module /l4-orig/fiasco -serial_esc -comspeed 115200 -comport 0
      module /l4-orig/l4f/sigma0
      module /l4-orig/l4f/moe --init=rom/hello
      module /l4-orig/l4f/l4re
      module /l4-orig/l4f/hello


 "And it's much the same thing with knowledge, for whenever you learn
 something new, the whole world becomes that much richer."
 -- The Princess of Pure Reason, as told by Norton Juster in The Phantom

More information about the l4-hackers mailing list