error in make run/l4linux on fiasco.oc

[Stefan Kalkowski]

Hi,

thanks for the hint. I've opened an issue for this documentation bug in
our issue tracker: https://github.com/genodelabs/genode/issues/686

Regards
Stefan

On 03/12/2013 09:03 AM, yuqing wang wrote:
> I fix the issus, now the l4linux can run successfully.
> I think it is somthing wrong with my network fisrt, but I am wrong.I
> just make a mistake when I prepare something for compiling.
> When I wanted to run l4linux, i followed the step according to the
> file:<dir>/genode/base-foc/doc/foc.txt.Which says:
> 
>  The run script depends on an 'initrd.gz' archive,which has to reside in
> 'bin' in your build directory. You can find an example initramfs here:
> :[http://genode.org/files/release-11.05/l4lx/x86/initrd.gz]:
>   Initramfs archive for X86
> 
> I downloaded the "initrd.gz" file manually and put it into /bin  in my
> build directory.But the run script has the following code:
> 
> if {[have_spec x86]} {
>     set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz"
> } elseif {[have_spec arm]} {
>     set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz"
> }
> if {![file exists bin/initrd.gz]} {
>     puts "Download initramfs ..."
>     exec >& /dev/null wget -c -O bin/initrd.gz $uri
> }
> 
> The "initrd" file source is not same with the one I downloaded
> manually.I delete the old one,so the l4linux can run successfully.
> Regards
> 
> 
> ------------------------------------------------------------------------------
> Symantec Endpoint Protection 12 positioned as A LEADER in The Forrester  
> Wave(TM): Endpoint Security, Q1 2013 and "remains a good choice" in the  
> endpoint security space. For insight on selecting the right partner to 
> tackle endpoint security challenges, access the full report. 
> http://p.sf.net/sfu/symantec-dev2dev
> 
> 
> 
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/