<div dir="ltr"><div><div>Excellent :) Thank you for guiding me through it. Is there anything else in Genode, other than log that I can try on Sabre Lite to make sure that it works?<br></div>My current goal is to get Genode running on top of seL4 micro kernel on ARM platform. I'm aware that Genode/seL4 support for ARM is scheduled for August 2017, but maybe there's anything that I can start experimenting with now? <br><br></div>Thank you<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 23, 2017 at 4:15 AM, Stefan Kalkowski <span dir="ltr"><<a href="mailto:stefan.kalkowski@...1..." target="_blank">stefan.kalkowski@...11....</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<div><div class="h5"><br>
On 03/23/2017 04:10 AM, Yevgeny Lavrov wrote:<br>
> I've made the necessary changes to UART variables, and lowered the<br>
> amount of RAM by making RAM0_SIZE = 0x20000000. After executing the<br>
> image.elf on Sabre Lite, I got the following output:<br>
><br>
> ## Starting application at 0x10001000<br>
> ...<br>
><br>
> :virt_alloc: Allocator 0x200f40b4<br>
> dump:<br>
><br>
>  Block: [0x1000,0x10001000] size=0x10000000 avail=0x10000000<br>
> max_avail=0x10000000<br>
><br>
>  Block: [0x105ad000,0x20001000] size=0xfa54000 avail=0xfa54000<br>
> max_avail=0xbfe5b000<br>
><br>
>  Block: [0x201a4000,0x201a5000] size=0x1000 avail=0x0<br>
> max_avail=0x0<br>
><br>
>  Block: [0x201a5000,0xe0000000] size=0xbfe5b000 avail=0xbfe5b000<br>
> max_avail=0xbfe5b000<br>
><br>
>  Block: [0xf0004000,0xf0005000] size=0x1000 avail=0x0<br>
> max_avail=0xbfe5b000<br>
><br>
>  Block: [0xf0007000,0xf0008000] size=0x1000 avail=0x0<br>
> max_avail=0x0<br>
><br>
>  Block: [0xf0009000,0xf000a000] size=0x1000 avail=0x0<br>
> max_avail=0xffe5000<br>
><br>
>  Block: [0xf000a000,0xfffef000] size=0xffe5000 avail=0xffe5000<br>
> max_avail=0xffe5000<br>
><br>
>  => mem_size=4018765824 (3832 MB) / mem_avail=4018749440 (3832<br>
> MB)<br>
><br>
><br>
><br>
> :phys_alloc: Allocator 0x200f3048<br>
> dump:<br>
><br>
>  Block: [0x1061f000,0x10620000] size=0x1000 avail=0x0<br>
> max_avail=0x0<br>
><br>
>  Block: [0x10620000,0x10621000] size=0x1000 avail=0x0<br>
> max_avail=0x1f9dd000<br>
><br>
>  Block: [0x10621000,0x10622000] size=0x1000 avail=0x0<br>
> max_avail=0x0<br>
><br>
>  Block: [0x10622000,0x10623000] size=0x1000 avail=0x0<br>
> max_avail=0x1f9dd000<br>
><br>
>  Block: [0x10623000,0x30000000] size=0x1f9dd000 avail=0x1f9dd000<br>
> max_avail=0x1f9dd000<br>
><br>
>  => mem_size=530452480 (505 MB) / mem_avail=530436096 (505<br>
> MB)<br>
><br>
><br>
><br>
> :io_mem_alloc: Allocator 0x200f512c<br>
> dump:<br>
><br>
>  Block: [0x0,0x1061f000] size=0x1061f000 avail=0x1061f000<br>
> max_avail=0xcfffffff<br>
><br>
>  Block: [0x30000000,0xffffffff] size=0xcfffffff avail=0xcfffffff<br>
> max_avail=0xcfffffff<br>
><br>
>  => mem_size=3764514815 (3590 MB) / mem_avail=3764514815 (3590<br>
> MB)<br>
><br>
><br>
><br>
> :io_port_alloc: Allocator 0x200f6198<br>
> dump:<br>
><br>
>  => mem_size=0 (0 MB) / mem_avail=0 (0<br>
> MB)<br>
><br>
><br>
><br>
> :irq_alloc: Allocator 0x200f7204<br>
> dump:<br>
><br>
>  Block: [0x0,0x1] size=0x1 avail=0x1<br>
> max_avail=0x1<br>
><br>
>  Block: [0x2,0x1d] size=0x1b avail=0x1b<br>
> max_avail=0x3e2<br>
><br>
>  Block: [0x1e,0x400] size=0x3e2 avail=0x3e2<br>
> max_avail=0x3e2<br>
><br>
>  => mem_size=1022 (0 MB) / mem_avail=1022 (0<br>
> MB)<br>
><br>
><br>
><br>
> :rom_fs: ROM<br>
> modules:<br>
><br>
>  ROM: [101a6000,101a6158)<br>
> config<br>
><br>
>  ROM: [10182000,101a2178)<br>
> init<br>
><br>
>  ROM: [10105000,101819a4) <a href="http://ld.lib.so" rel="noreferrer" target="_blank">ld.lib.so</a><br>
</div></div>> <<a href="http://ld.lib.so" rel="noreferrer" target="_blank">http://ld.lib.so</a>><br>
<div><div class="h5">><br>
>  ROM: [101a3000,101a5598)<br>
> test-log<br>
><br>
><br>
><br>
><br>
> kernel<br>
> initialized<br>
><br>
> Genode<br>
> 17.02<br>
><br>
> 504 MiB RAM assigned to<br>
> init<br>
><br>
> [init -> test-log] hex range:<br>
> [0e00,1680)<br>
><br>
> [init -> test-log] empty hex range:    [0abc0000,0abc0000)<br>
> (empty!)<br>
><br>
> [init -> test-log] hex range to limit:<br>
> [f8,ff]<br>
><br>
> [init -> test-log] invalid hex range:  [f8,08)<br>
> (overflow!)<br>
><br>
> [init -> test-log] negative hex char:<br>
> 0xfe<br>
><br>
> [init -> test-log] positive hex char:<br>
> 0x02<br>
><br>
> [init -> test-log] multiarg string:    "parent -><br>
> child.7"<br>
><br>
> [init -> test-log] String(Hex(3)):<br>
> 0x3<br>
><br>
> [init -> test-log] Test done.<br>
><br>
> Is this the desired output from "log"?<br>
><br>
> Thanks<br>
<br>
</div></div>Exactly!<br>
<br>
Regards Stefan<br>
<span class=""><br>
><br>
> On Wed, Mar 22, 2017 at 6:56 AM, Stefan Kalkowski<br>
> <<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@...472...1...<wbr>com</a><br>
</span><div><div class="h5">> <mailto:<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@<wbr>genode-labs.com</a>>> wrote:<br>
><br>
>     Hi,<br>
><br>
>     On 03/22/2017 08:14 AM, Yevgeny Lavrov wrote:<br>
>     > Hi<br>
>     ><br>
>     > Thanks for the hint. You're correct about the UART, they are different.<br>
>     > Wand uses UART1 = 0x02020000 while Sabre Lite uses UART2 which is 0x021e800.<br>
>     > I tried Genode 15.02 from the institute of<br>
>     > Madras:|<a href="https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support" rel="noreferrer" target="_blank">https://github.com/<wbr>iitmadras/genode/tree/hw_<wbr>sabrelite_tz_support</a><br>
>     <<a href="https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support" rel="noreferrer" target="_blank">https://github.com/iitmadras/<wbr>genode/tree/hw_sabrelite_tz_<wbr>support</a>><br>
>     > <<a href="https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support" rel="noreferrer" target="_blank">https://github.com/iitmadras/<wbr>genode/tree/hw_sabrelite_tz_<wbr>support</a><br>
>     <<a href="https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support" rel="noreferrer" target="_blank">https://github.com/iitmadras/<wbr>genode/tree/hw_sabrelite_tz_<wbr>support</a>>>|,<br>
>     > simple run/printf for now, and it works. I currently use it as a<br>
>     > reference. After comparing board_base.h files for i.MX6 platform, I<br>
>     > noticed that specifically for Sabre Lite the values in the board_base.h<br>
>     > from Madras are set to:<br>
>     ><br>
>     > UART_1_IRQ = 57,<br>
>     > UART_1_MMIO_BASE = 0x021e8000,<br>
>     ><br>
>     > while for Wandboard, they are the same as in Genode 17.02.<br>
>     ><br>
>     > I don't think that adjusting UART will be as simple as copying these<br>
>     > values over to Genode 17.02<br>
>     > /repos/base/include/spec/imx6/<wbr>drivers/board_base.h So if there are any<br>
>     > other files involved, would you please tell me what those files are so I<br>
>     > know exactly what to look for?<br>
><br>
>     well, if you just want to adjust the code to replace the Wandboard<br>
>     definitions with your i.MX 6Q Sabre Lite, it is actually that simple.<br>
>     You only have to change the settings in above mentioned file with in the<br>
>     17.02 release.<br>
><br>
>     If you want to add support of your board beside of the Wandboard<br>
>     support, you will have to insert a new layer of board definition. But<br>
>     being in your position I would first change the current Wandboard<br>
>     settings to see whether it works in general.<br>
><br>
>     ><br>
>     > How would I lower the RAM size for my build, and what files are involved?<br>
><br>
>     It is the very same file. You have to change the value of RAM0_SIZE.<br>
><br>
>     Regards<br>
>     Stefan<br>
><br>
>     ><br>
>     > Thank you<br>
>     ><br>
>     > On Thu, Mar 2, 2017 at 4:53 AM, Stefan Kalkowski<br>
>     > <<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@...471...<wbr>com</a><br>
>     <mailto:<a href="mailto:stefan.kalkowski@...13.....">stefan.kalkowski@<wbr>genode-labs.com</a>><br>
</div></div>>     > <mailto:<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@<wbr>genode-labs.com</a><br>
<div><div class="h5">>     <mailto:<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@<wbr>genode-labs.com</a>>>> wrote:<br>
>     ><br>
>     >     Hi,<br>
>     ><br>
>     >     well, just because both boards Wandboard and i.MX 6Q Sabre<br>
>     Lite are<br>
>     >     using the same system-on-chip (SoC) does not mean they are<br>
>     identical. So<br>
>     >     if you are hesitant to start instrumenting the startup code,<br>
>     e.g., via<br>
>     >     additional log() calls, you can at least compare the high level<br>
>     >     description of the boards. One main issue is which memory<br>
>     slots are used<br>
>     >     by which board, and which UART within the SoC is used for the<br>
>     serial<br>
>     >     line connector of the board.<br>
>     ><br>
>     >     One thing that was striking me first when looking at high-level<br>
>     >     description of the Sabre Lite board is that is has just 1 GB<br>
>     of RAM,<br>
>     >     whereby the Wandboard has 2 GB. This is obviously an issue. When<br>
>     >     lowering the RAM size for your setup you potentially will get<br>
>     one step<br>
>     >     ahead. But if they are using different UARTs you will not see<br>
>     any log<br>
>     >     message anyway. In that case you have to check whether both<br>
>     boards use<br>
>     >     the same UART.<br>
>     ><br>
>     >     Regards<br>
>     >     Stefan<br>
>     ><br>
>     >     On 03/01/2017 08:28 PM, Yevgeny Lavrov wrote:<br>
>     >     > Hello<br>
>     >     ><br>
>     >     > Is there anything from Genode that I can try on i.MX6Q Sabre<br>
>     Lite<br>
>     >     > development board? So far I've already attempted *log* image<br>
>     that I've<br>
>     >     > obtained from compiling Genode for i.MX6 based Wandboard.<br>
>     The fastboot<br>
>     >     > option that gets executed after *$ make run/log *resulted in<br>
>     >     nothing, so<br>
>     >     > I've also tried to copy the created images onto SD Card and<br>
>     run them<br>
>     >     > directly on the board.<br>
>     >     ><br>
>     >     > Steps:<br>
>     >     > Once in u-boot prompt<br>
>     >     ><br>
>     >     > => fatload mmc 0 0x30000000 image.elf<br>
>     >     > reading<br>
>     >     > image.elf<br>
>     >     ><br>
>     >     > 1716880 bytes read in 107 ms (15.3 MiB/s)<br>
>     >     > => bootelf 0x30000000<br>
>     >     > ## Starting application at 0x10001000 ...<br>
>     >     ><br>
>     >     > Then the terminal hangs w/o any output.<br>
>     >     ><br>
>     >     > Same thing happens when executing uImage<br>
>     >     > => fatload mmc 0 0x30000000 uImage<br>
>     >     > reading uImage<br>
>     >     > 594679 bytes read in 48 ms (11.8 MiB/s)<br>
>     >     > => bootm 0x30000000<br>
>     >     ><br>
>     >     > Terminal hangs once it reaches: Starting kernel ...<br>
>     >     ><br>
>     >     > Any suggestions on what's wrong?<br>
>     >     ><br>
>     >     > Thank you<br>
>     >     ><br>
>     >     ><br>
>     >     ><br>
>     >     ><br>
>     >     ><br>
>     ><br>
>      ------------------------------<wbr>------------------------------<wbr>------------------<br>
>     >     > Check out the vibrant tech community on one of the world's most<br>
>     >     > engaging tech sites, SlashDot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
>     >     ><br>
>     >     ><br>
>     >     ><br>
>     >     > ______________________________<wbr>_________________<br>
>     >     > genode-main mailing list<br>
>     >     > <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...172...<wbr>net</a><br>
>     <mailto:<a href="mailto:genode-main@...12...ceforge.net">genode-main@...65...<wbr>sourceforge.net</a>><br>
</div></div>>     >     <mailto:<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...65...<wbr>sourceforge.net</a><br>
<span class="">>     <mailto:<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...65...<wbr>sourceforge.net</a>>><br>
>     >     > <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>><br>
>     >     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>>><br>
>     >     ><br>
>     ><br>
>     >     --<br>
>     >     Stefan Kalkowski<br>
>     >     Genode Labs<br>
>     ><br>
>     >     <a href="https://github.com/skalk" rel="noreferrer" target="_blank">https://github.com/skalk</a> · <a href="http://genode.org/" rel="noreferrer" target="_blank">http://genode.org/</a><br>
>     ><br>
>     >     ------------------------------<wbr>------------------------------<wbr>------------------<br>
>     >     Check out the vibrant tech community on one of the world's most<br>
>     >     engaging tech sites, SlashDot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
>     >     ______________________________<wbr>_________________<br>
>     >     genode-main mailing list<br>
>     >     <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...172...<wbr>net</a><br>
>     <mailto:<a href="mailto:genode-main@...12...ceforge.net">genode-main@...65...<wbr>sourceforge.net</a>><br>
</span>>     >     <mailto:<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...65...<wbr>sourceforge.net</a><br>
<span class="im HOEnZb">>     <mailto:<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...65...<wbr>sourceforge.net</a>>><br>
>     >     <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>><br>
</span><span class="im HOEnZb">>     >     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>>><br>
>     ><br>
>     ><br>
>     ><br>
>     ><br>
>     > ------------------------------<wbr>------------------------------<wbr>------------------<br>
>     > Check out the vibrant tech community on one of the world's most<br>
>     > engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
>     ><br>
>     ><br>
>     ><br>
>     > ______________________________<wbr>_________________<br>
>     > genode-main mailing list<br>
>     > <a href="mailto:genode-main@...226...e.net">genode-main@...172...<wbr>net</a><br>
</span><span class="im HOEnZb">>     <mailto:<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...65...<wbr>sourceforge.net</a>><br>
>     > <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>><br>
>     ><br>
><br>
>     --<br>
>     Stefan Kalkowski<br>
>     Genode Labs<br>
><br>
>     <a href="https://github.com/skalk" rel="noreferrer" target="_blank">https://github.com/skalk</a> · <a href="http://genode.org/" rel="noreferrer" target="_blank">http://genode.org/</a><br>
><br>
>     ------------------------------<wbr>------------------------------<wbr>------------------<br>
>     Check out the vibrant tech community on one of the world's most<br>
</span><div class="HOEnZb"><div class="h5">>     engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
>     ______________________________<wbr>_________________<br>
>     genode-main mailing list<br>
>     <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...172...<wbr>net</a><br>
>     <mailto:<a href="mailto:genode-main@...12...ceforge.net">genode-main@...65...<wbr>sourceforge.net</a>><br>
>     <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
>     <<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.<wbr>net/lists/listinfo/genode-main</a><wbr>><br>
><br>
><br>
><br>
><br>
> ------------------------------<wbr>------------------------------<wbr>------------------<br>
> Check out the vibrant tech community on one of the world's most<br>
> engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
><br>
><br>
><br>
> ______________________________<wbr>_________________<br>
> genode-main mailing list<br>
> <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...449...2...<wbr>net</a><br>
> <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
><br>
<br>
--<br>
Stefan Kalkowski<br>
Genode Labs<br>
<br>
<a href="https://github.com/skalk" rel="noreferrer" target="_blank">https://github.com/skalk</a> · <a href="http://genode.org/" rel="noreferrer" target="_blank">http://genode.org/</a><br>
<br>
------------------------------<wbr>------------------------------<wbr>------------------<br>
Check out the vibrant tech community on one of the world's most<br>
engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" rel="noreferrer" target="_blank">http://sdm.link/slashdot</a><br>
______________________________<wbr>_________________<br>
genode-main mailing list<br>
<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...172...<wbr>net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" target="_blank">https://lists.sourceforge.net/<wbr>lists/listinfo/genode-main</a><br>
</div></div></blockquote></div><br></div>