Want to run L4Re on Raspberry PI.

[Matthias Lange]

Hi,

On [28-05-2019 21:21], Lei Zhou wrote:
> Thanks Paul for your prompt response.  I will give it try and see how it goes.    Regards,   Lei

I just want to add two things to Paul's very good description.

First, have you checked our build instructions and how tos on our github [1] ?

And second, which Raspberry Pi model are you targeting? Newer (> gcc 4.7)
cross-toolchains seem to have dropped support for ARMv6k. While you still can
compile L4Re/Fiasco for that architecture the binaries will not run later.

Best,
Matthias.

[1] https://github.com/kernkonzept/manifest/wiki

> 
> ________________________________________
> From: l4-hackers [l4-hackers-bounces at os.inf.tu-dresden.de] on behalf of Paul Boddie [paul at boddie.org.uk]
> Sent: Tuesday, May 28, 2019 5:09 PM
> To: l4-hackers at os.inf.tu-dresden.de
> Subject: Re: Want to run L4Re on Raspberry PI.
> 
> On Tuesday 28. May 2019 18.45.15 Lei Zhou wrote:
> > HI,    I'm looking for the information and procedure how to compile and
> > deploy L4Re on Raspberry PI.   Any feedbacks would be greatly appreciated!
> 
> I guess you should start here:
> 
> https://urldefense.proofpoint.com/v2/url?u=https-3A__l4re.org_download.html&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=LDLjTgFM3TqEjihWsjjS9z-anL_BIawUIzV0OfuoiLw&e=
> https://urldefense.proofpoint.com/v2/url?u=https-3A__l4re.org_build.html&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=WAJUUtXSvk_Z1OoUQn4Bfwx-K8IFYpMeFRhaw4CLC3w&e=
> https://urldefense.proofpoint.com/v2/url?u=https-3A__l4re.org_fiasco_build.html&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=7G3VRVjgQprvWKDcsBBfhNmA14WaPYdIa4U_cQSALnE&e=
> 
> If you are using a modern Debian-based system, you can get away with something
> like this to obtain all the tools needed for compilation:
> 
> apt-get install build-essential subversion libncurses5-dev gawk bison flex
> 
> This is a bit different from what the above pages say:
> 
> apt-get install make gawk g++ binutils pkg-config g++-multilib subversion \
>                 flex bison
> 
> But getting things like build-essential is less likely to cause surprises
> later on. Plus, I found the libncurses5-dev package to be necessary.
> 
> The online instructions have you downloading and running the repomgr tool to
> get the sources. If you are a bit cautious, like I am, you can do this in two
> steps:
> 
> svn cat https://urldefense.proofpoint.com/v2/url?u=https-3A__svn.l4re.org_repos_oc_l4re_trunk_repomgr&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=iwTTp83xiXt_B-XgoUs54kVI1OK1jf7mIHg30tkYst0&e= > repomgr
> ./repomgr init https://urldefense.proofpoint.com/v2/url?u=https-3A__svn.l4re.org_repos_oc_l4re&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=VJi33FgFeBX0YtZmFv1DEWCOobhIjjZE2DF_cQkzLtg&e= fiasco l4re
> 
> This lets you inspect the repomgr script and also allows you to keep it around
> in an obvious place.
> 
> At this point, you can build Fiasco.OC with something like this:
> 
> cd src/kernel/fiasco/
> make BUILDDIR=mybuild
> cd mybuild/
> make config
> make
> 
> Then, building L4Re should be possible by going back up to the src/l4
> directory:
> 
> cd ../../../l4
> 
> You may need to create a conf/Makeconf.boot file. I have the following in
> mine:
> 
> MODULE_SEARCH_PATH += $(L4DIR_ABS)/../kernel/fiasco/mybuild
> MODULE_SEARCH_PATH += $(L4DIR_ABS)/conf/examples
> MODULE_SEARCH_PATH += $(L4DIR_ABS)/pkg/io/io/config
> BOOTSTRAP_SEARCH_PATH  = $(L4DIR_ABS)/conf/examples
> BOOTSTRAP_SEARCH_PATH += $(L4DIR_ABS)/../kernel/fiasco/mybuild
> BOOTSTRAP_SEARCH_PATH += $(L4DIR_ABS)/pkg/io/io/config
> BOOTSTRAP_MODULES_LIST = $(L4DIR_ABS)/conf/modules.list
> 
> And then you can try and do something like this:
> 
> make B=mybuild
> make O=mybuild config
> make O=mybuild
> 
> If everything worked, you can try and build an image. This tends to be done as
> follows:
> 
> mkdir mybuild/images
> make O=mybuild uimage E=hello
> 
> Deploying the image should be a matter of copying a file onto a suitable media
> device for the Raspberry Pi (SD card, I guess):
> 
> cp mybuild/images/bootstrap_hello.uimage /media/sdcard
> 
> Here, only you will really know where to copy the file to.
> 
> I hope this helps!
> 
> Paul
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> https://urldefense.proofpoint.com/v2/url?u=http-3A__os.inf.tu-2Ddresden.de_mailman_listinfo_l4-2Dhackers&d=DwICAg&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=J6lpTAqtNJtvcMcj_FL4Mh9mKv7PvWan1CJ_GXFQ640&s=uLGBMQocsBFKE1qBlKHaggEsOU2vSlFjh_XJXr20rMo&e=
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49-351-41 888 614

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth