how to solve issue#593

[Alexander Boettcher]

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 <alexander.boettcher at ...1...
> <mailto:alexander.boettcher at ...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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>