----
email to: gjk....@gmail.com
2013/4/17 Alexander Boettcher <alexander.boettc...@genode-labs.com>
> 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
------------------------------------------------------------------------------
Precog is a next-generation analytics platform capable of advanced
analytics on semi-structured data. The platform includes APIs for building
apps and a phenomenal toolset for data science. Developers can use
our toolset for easy data analysis & visualization. Get a free account!
http://www2.precog.com/precogplatform/slashdotnewsletter
_______________________________________________
Genode-main mailing list
Genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
