Problem Launching L4Linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Feb 10 23:34:19 CET 2015


Hi,

On Tue Feb 10, 2015 at 17:02:49 +0100, Piwe li wrote:
> 
> Nothing happens when I press ESC. I also tried to send ESC with the QEMU
> monitor using "sendkey esc" which has also no effect.
> 
> Same thing with the Hello World.
> 
> I really don't know what could cause this problem but I think it may have
> something to do with capabilities (just a guess).
> 
> I have to say that my QEMU works fine, I tested it with another Linux. My
> .dtb is good too.
> 
> Do you have any ideas or suggestions ?

Does fiasco have the -serial_esc argument in the modules.list file?
 
> I was also wondering about the "libio: Warning: Query of 'vbus' failed!"
> during the boot of L4Linux. I don't think it is a problem (due to the fact
> that I'm not using any IPC) but I'm not sure.

Indeed, this has nothing to do with ESC.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/



More information about the l4-hackers mailing list