l4-hackers Digest, Vol 124, Issue 4
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.
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)
kernel /l4-orig/bootstrap -serial
module /l4-orig/fiasco -serial_esc -comspeed 115200 -comport 0
module /l4-orig/l4f/moe --init=rom/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