2013/4/17 Alexander Boettcher <alexander.boettcher@...1...>

Hi,

with following adjustments [0] l4linux works for me on x86 32bit.

Cheers,

Alex.

[0]
https://github.com/alex-ab/genode/commit/7f03b90e28ca9eda71f61d69c5e37545a98f087b

Hi Alex,

With your l4linux configuration, my working PC can boot Fiasco.OC+L4linx now. But it also fail for another test machine. I will try to solve the problem. Moreover I will try to flood l4linux on the successful PC. Thanks for your help again!

Best,

Jian