<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style>
<!--
.EmailQuote
        {margin-left:1pt;
        padding-left:4pt;
        border-left:#800000 2px solid}
-->
</style>
</head>
<body>
<style id="outgoing-font-settings">
<!--
#response_container_BBPPID
        {font-family:initial;
        font-size:initial;
        color:initial}
-->
</style>
<div id="response_container_BBPPID" dir="auto" style="outline:none">
<div name="BB10" id="BB10_response_div_BBPPID" dir="auto" style="width:100%">Sorry also thanks Adam.   Lei.</div>
<div name="BB10" id="response_div_spacer_BBPPID" dir="auto" style="width:100%"><br style="display:initial">
</div>
<div id="blackberry_signature_BBPPID" name="BB10" dir="auto">
<div id="_signaturePlaceholder_BBPPID" name="BB10" dir="auto">Sent from my BlackBerry — the most secure mobile device — via the Bell Network</div>
</div>
</div>
<div id="_original_msg_header_BBPPID" dir="auto">
<table width="100%" style="background-color:white; border-spacing:0px; display:table; outline:none">
<tbody>
<tr>
<td colspan="2" style="padding:initial; font-size:initial; text-align:initial; background-color:rgb(255,255,255)">
<div style="border-right:none; border-bottom:none; border-left:none; border-top:1pt solid rgb(181,196,223); padding:3pt 0in 0in; font-family:Tahoma,"BB Alpha Sans","Slate Pro"; font-size:10pt">
<div id="from"><b>From:</b> lezhou@blackberry.com</div>
<div id="sent"><b>Sent:</b> May 29, 2019 9:48 AM</div>
<div id="to"><b>To:</b> matthias.lange@kernkonzept.com; l4-hackers@os.inf.tu-dresden.de</div>
<div id="cc"><b>Cc:</b> paul@boddie.org.uk</div>
<div id="subject"><b>Subject:</b> Re: Want to run L4Re on Raspberry PI.</div>
</div>
</td>
</tr>
</tbody>
</table>
<br>
</div>
<div><style id="x_outgoing-font-settings">
<!--
#x_response_container_BBPPID
        {font-family:initial;
        font-size:initial;
        color:initial}
-->
</style>
<div style="background-color:rgb(255,255,255); line-height:initial">
<div id="x_response_container_BBPPID" dir="auto" style="outline:none">
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
Thanks Paul and Matthias for valuable inputs and comments, which greatly save me a lot of time to searching and googling.</div>
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
<br>
</div>
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
I am using pi2 or pi3.   Has been mostly collecting various information and today will try based on all your inputs.</div>
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
<br>
</div>
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
Much appreciated.</div>
<div name="x_BB10" id="x_BB10_response_div_BBPPID" dir="auto" style="width:100%">
Lei</div>
<div name="x_BB10" id="x_response_div_spacer_BBPPID" dir="auto" style="width:100%">
<br style="display:initial">
</div>
<div id="x_blackberry_signature_BBPPID" name="x_BB10" dir="auto">
<div id="x__signaturePlaceholder_BBPPID" name="x_BB10" dir="auto">Sent from my BlackBerry — the most secure mobile device — via the Bell Network</div>
</div>
</div>
<div id="x__original_msg_header_BBPPID" dir="auto">
<table width="100%" style="background-color:white; border-spacing:0px; display:table; outline:none">
<tbody>
<tr>
<td colspan="2" style="padding:initial; font-size:initial; text-align:initial; background-color:rgb(255,255,255)">
<div style="border-right:none; border-bottom:none; border-left:none; border-top:1pt solid rgb(181,196,223); padding:3pt 0in 0in; font-family:Tahoma,"BB Alpha Sans","Slate Pro"; font-size:10pt">
<div id="x_from"><b>From:</b> matthias.lange@kernkonzept.com</div>
<div id="x_sent"><b>Sent:</b> May 29, 2019 9:20 AM</div>
<div id="x_to"><b>To:</b> l4-hackers@os.inf.tu-dresden.de</div>
<div id="x_cc"><b>Cc:</b> lezhou@blackberry.com; paul@boddie.org.uk</div>
<div id="x_subject"><b>Subject:</b> Re: Want to run L4Re on Raspberry PI.</div>
</div>
</td>
</tr>
</tbody>
</table>
<br>
</div>
</div>
<font size="2"><span style="font-size:10pt">
<div class="PlainText">On [29-05-2019 14:35], Paul Boddie wrote:<br>
> On Wednesday 29. May 2019 08.39.11 Matthias Lange wrote:<br>
> > <br>
> > On [28-05-2019 21:21], Lei Zhou wrote:<br>
> > > Thanks Paul for your prompt response.  I will give it try and see how it<br>
> > > goes.    Regards,   Lei<br>
> > I just want to add two things to Paul's very good description.<br>
> > <br>
> > First, have you checked our build instructions and how tos on our github [1]<br>
> > ?<br>
> <br>
> Maybe there should be some updates to l4re.org to communicate any new advice.<br>
> <br>
> > And second, which Raspberry Pi model are you targeting? Newer (> gcc 4.7)<br>
> > cross-toolchains seem to have dropped support for ARMv6k. While you still<br>
> > can compile L4Re/Fiasco for that architecture the binaries will not run<br>
> > later.<br>
> <br>
> One thing I did forget to mention was the cross-toolchains, which was <br>
> regrettable. I believe that the Debian toolchains in Debian 9 (Stretch), 10 <br>
> (Buster) or unstable (Sid) should be good enough, but as is noted above, the <br>
> architecture variant of earlier Raspberry Pi models (and the Pi Zero) is not <br>
> supported in Debian any more (which is why Raspbian exists).<br>
> <br>
> I suppose that L4Re could be compiled natively within Raspbian if that is <br>
> already deployed. I don't remember if there are any complications for ARM <br>
> about code output, but looking at the src/l4/mk/arch/Makeconf.arm, it seems <br>
> that a fairly standard arm-linux-gnueabihf toolchain is indicated. (I suppose <br>
> I could be thinking about certain "bare metal" configurations requiring <br>
> differently-configured compilers.)<br>
<br>
The issue we have with "standard" cross toolchains is the libgcc they are<br>
shipping. It is compiled for ARMv7 and contains instructions that are<br>
unknown / illegal on ARMv6k. The mean thing is, that our build system tells<br>
GCC via "-march=armv6zk" what code to generate but then links the wrong<br>
libgcc.<br>
<br>
Matthias.<br>
<br>
> <br>
> Otherwise, I had some success with Buildroot in generating toolchains, these <br>
> being needed for my soft-float MIPS configuration.<br>
> <br>
> Paul<br>
> <br>
> > [1] <a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_kernkonzept_manifest_wiki&d=DwIDAw&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=XD2cZlbNcyagrNsa4fRXlqxbq92GARxbGf9gzzR9mlU&s=Bl85gddmhrqQfmlXhG69DEnQlJIshub7N1hXIkQiL6w&e=">
https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_kernkonzept_manifest_wiki&d=DwIDAw&c=yzoHOc_ZK-sxl-kfGNSEvlJYanssXN3q-lhj0sp26wE&r=zgPsMwBitHoKyTzLULGKGmtjlsV9d0M7_KqUo-WYeMg&m=XD2cZlbNcyagrNsa4fRXlqxbq92GARxbGf9gzzR9mlU&s=Bl85gddmhrqQfmlXhG69DEnQlJIshub7N1hXIkQiL6w&e=</a><br>
<br>
-- <br>
Matthias Lange, matthias.lange@kernkonzept.com, +49-351-41 888 614<br>
<br>
Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.<br>
Geschäftsführer: Dr.-Ing. Michael Hohmuth<br>
<br>
</div>
</span></font></div>
</body>
</html>