L4Linux at ARM - Kernel panic (was: Fiasco at ARM - supported hardware)

[Daniel Vandersee]

Hello,

after I was able to get Fiasco to work with serial output under Qemu
(Skyeye still doesn't output anything), I'm trying to get L4Linux to
work with the ARM integrator. Attached you will find a boot log as well
as my kernel configuration. I tried to remove as much as possible device
drivers. Do I have to enable/disable some kernel options? I would
greatly appreciate any help.
Btw. for some reason I had to link <l4linux>/lib/lib.a to
<l4linux>/arch/l4/lib/arch-arm/lib.a manually.

Daniel

-------------- next part --------------
A non-text attachment was scrubbed...
Name: log
Type: application/octet-stream
Size: 9360 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070629/535fb72f/attachment-0001.obj>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: .config
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070629/535fb72f/attachment-0002.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: l4linux.cfg
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070629/535fb72f/attachment-0003.ksh>