Hi, with following adjustments [0] l4linux works for me on x86 32bit.
Cheers, Alex. [0] https://github.com/alex-ab/genode/commit/7f03b90e28ca9eda71f61d69c5e37545a98f087b On 17.04.2013 12:53, Jian Liu wrote: > > 2013/4/17 Alexander Boettcher <[email protected] > <mailto:[email protected]>> > > Hi Yuging, > > the vesa_drv is spying some messages: > > [init -> vesa_drv] unexpected configuration address 0x54 > > So, do you see any output on your screen (like the Linux Penguin)? > > If yes, the second issue could be/is that all output of L4Linux in > l4linux.run is routed to a second serial interface. So, either your > machine has a second serial interface and you have to connect to see > L4Linux boot messages, or you comment out the respective lines. > > For me, by removing the uart_drv in the l4linux.run configuration, I see > on native hardware two penguins + command prompt on the screen. > > > Hi Alex, > > Could you share your l4linux.run configuration with me too? I will > try it 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 > [email protected] > https://lists.sourceforge.net/lists/listinfo/genode-main > ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
