19 Apr
2013
19 Apr
'13
9:16 a.m.
---- email to: gjk.liu@...9...
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/7f03b90e28ca9eda71f61d69c5e37545a98...
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