Re: how to solve issue#593

Hi,

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

Cheers,

Alex.

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

On 17.04.2013 12:53, Jian Liu wrote:

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

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 Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main