L4Linux on PB11MPCORE boot hangs at

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Nov 17 21:36:37 CET 2011

On Thu Nov 17, 2011 at 00:23:00 +0000, Varun Ganesh wrote:
>   find kernel info page...
>   found kernel info page at 0x2000
> What steps should I take to proceed beyond this point.

Which gcc?

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

More information about the l4-hackers mailing list