how to solve issue#593

[Jian Liu]

----
email to: gjk.liu at ...9...


2013/4/17 Alexander Boettcher <alexander.boettcher at ...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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130419/080fc80a/attachment.html>