Re: Genode on i.MX6Q Sabre Lite

27 Mar 2017

      Hi,
On 03/27/2017 09:14 AM, Yevgeny Lavrov wrote:
...
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?
The following run-scripts run successfully each night on the Wandboard,
and therefore should succeed on your board too:
affinity
blk_cache
bomb
clipboard
cpu_quota
cpu_sampler
ds_ownership
fault_detection
fpu
fs_log
init
ldso
libc_getenv
libc_pipe
libc_vfs
libc_vfs_block
libc_vfs_ext2
libc_vfs_fs
libc_vfs_ram
moon
new_delete
nic_loopback
noux
part_blk
pthread
ram_fs_chunk
reconstructible
report_rom
resource_request
resource_yield
rm_fault
rom_blk
rom_filter
rump_ext2
rust
sd_card_bench
signal
sub_rm
synced_interface
trace
util_mmio
xml_generator
xml_node
However, the only test here that deals with hardware beside the CPU or
timer is the sd_card_bench test. There is almost no peripheral device
driver support available for Genode on i.MX6 except the SD-card driver.
So if you want to run more sophisticated setups including graphics,
network, or input you could concentrate on writing or porting related
drivers first.
Best regards
Stefan
...
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?
Thank you
On Thu, Mar 23, 2017 at 4:15 AM, Stefan Kalkowski
<stefan.kalkowski@...1...
mailto:stefan.kalkowski@...1...> wrote:
Hi,

On 03/23/2017 04:10 AM, Yevgeny Lavrov wrote:
> I've made the necessary changes to UART variables, and lowered the
> amount of RAM by making RAM0_SIZE = 0x20000000. After executing the
> image.elf on Sabre Lite, I got the following output:
>
> ## Starting application at 0x10001000
> ...
>
> :virt_alloc: Allocator 0x200f40b4
> dump:
>
>  Block: [0x1000,0x10001000] size=0x10000000 avail=0x10000000
> max_avail=0x10000000
>
>  Block: [0x105ad000,0x20001000] size=0xfa54000 avail=0xfa54000
> max_avail=0xbfe5b000
>
>  Block: [0x201a4000,0x201a5000] size=0x1000 avail=0x0
> max_avail=0x0
>
>  Block: [0x201a5000,0xe0000000] size=0xbfe5b000 avail=0xbfe5b000
> max_avail=0xbfe5b000
>
>  Block: [0xf0004000,0xf0005000] size=0x1000 avail=0x0
> max_avail=0xbfe5b000
>
>  Block: [0xf0007000,0xf0008000] size=0x1000 avail=0x0
> max_avail=0x0
>
>  Block: [0xf0009000,0xf000a000] size=0x1000 avail=0x0
> max_avail=0xffe5000
>
>  Block: [0xf000a000,0xfffef000] size=0xffe5000 avail=0xffe5000
> max_avail=0xffe5000
>
>  => mem_size=4018765824 (3832 MB) / mem_avail=4018749440 (3832
> MB)
>
>
>
> :phys_alloc: Allocator 0x200f3048
> dump:
>
>  Block: [0x1061f000,0x10620000] size=0x1000 avail=0x0
> max_avail=0x0
>
>  Block: [0x10620000,0x10621000] size=0x1000 avail=0x0
> max_avail=0x1f9dd000
>
>  Block: [0x10621000,0x10622000] size=0x1000 avail=0x0
> max_avail=0x0
>
>  Block: [0x10622000,0x10623000] size=0x1000 avail=0x0
> max_avail=0x1f9dd000
>
>  Block: [0x10623000,0x30000000] size=0x1f9dd000 avail=0x1f9dd000
> max_avail=0x1f9dd000
>
>  => mem_size=530452480 (505 MB) / mem_avail=530436096 (505
> MB)
>
>
>
> :io_mem_alloc: Allocator 0x200f512c
> dump:
>
>  Block: [0x0,0x1061f000] size=0x1061f000 avail=0x1061f000
> max_avail=0xcfffffff
>
>  Block: [0x30000000,0xffffffff] size=0xcfffffff avail=0xcfffffff
> max_avail=0xcfffffff
>
>  => mem_size=3764514815 (3590 MB) / mem_avail=3764514815 (3590
> MB)
>
>
>
> :io_port_alloc: Allocator 0x200f6198
> dump:
>
>  => mem_size=0 (0 MB) / mem_avail=0 (0
> MB)
>
>
>
> :irq_alloc: Allocator 0x200f7204
> dump:
>
>  Block: [0x0,0x1] size=0x1 avail=0x1
> max_avail=0x1
>
>  Block: [0x2,0x1d] size=0x1b avail=0x1b
> max_avail=0x3e2
>
>  Block: [0x1e,0x400] size=0x3e2 avail=0x3e2
> max_avail=0x3e2
>
>  => mem_size=1022 (0 MB) / mem_avail=1022 (0
> MB)
>
>
>
> :rom_fs: ROM
> modules:
>
>  ROM: [101a6000,101a6158)
> config
>
>  ROM: [10182000,101a2178)
> init
>
>  ROM: [10105000,101819a4) ld.lib.so <http://ld.lib.so>
> <http://ld.lib.so>
>
>  ROM: [101a3000,101a5598)
> test-log
>
>
>
>
> kernel
> initialized
>
> Genode
> 17.02
>
> 504 MiB RAM assigned to
> init
>
> [init -> test-log] hex range:
> [0e00,1680)
>
> [init -> test-log] empty hex range:    [0abc0000,0abc0000)
> (empty!)
>
> [init -> test-log] hex range to limit:
> [f8,ff]
>
> [init -> test-log] invalid hex range:  [f8,08)
> (overflow!)
>
> [init -> test-log] negative hex char:
> 0xfe
>
> [init -> test-log] positive hex char:
> 0x02
>
> [init -> test-log] multiarg string:    "parent ->
> child.7"
>
> [init -> test-log] String(Hex(3)):
> 0x3
>
> [init -> test-log] Test done.
>
> Is this the desired output from "log"?
>
> Thanks

Exactly!

Regards Stefan

>
> On Wed, Mar 22, 2017 at 6:56 AM, Stefan Kalkowski
> <stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>
> <mailto:stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>>> wrote:
>
>     Hi,
>
>     On 03/22/2017 08:14 AM, Yevgeny Lavrov wrote:
>     > Hi
>     >
>     > Thanks for the hint. You're correct about the UART, they are
different.
>     > Wand uses UART1 = 0x02020000 while Sabre Lite uses UART2
which is 0x021e800.
>     > I tried Genode 15.02 from the institute of
>     >
Madras:|https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support
<https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support>
>   
 <https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support
<https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support>>
>     >
<https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support
<https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support>
>   
 <https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support
<https://github.com/iitmadras/genode/tree/hw_sabrelite_tz_support>>>|,
>     > simple run/printf for now, and it works. I currently use it as a
>     > reference. After comparing board_base.h files for i.MX6
platform, I
>     > noticed that specifically for Sabre Lite the values in the
board_base.h
>     > from Madras are set to:
>     >
>     > UART_1_IRQ = 57,
>     > UART_1_MMIO_BASE = 0x021e8000,
>     >
>     > while for Wandboard, they are the same as in Genode 17.02.
>     >
>     > I don't think that adjusting UART will be as simple as
copying these
>     > values over to Genode 17.02
>     > /repos/base/include/spec/imx6/drivers/board_base.h So if
there are any
>     > other files involved, would you please tell me what those
files are so I
>     > know exactly what to look for?
>
>     well, if you just want to adjust the code to replace the Wandboard
>     definitions with your i.MX 6Q Sabre Lite, it is actually that
simple.
>     You only have to change the settings in above mentioned file
with in the
>     17.02 release.
>
>     If you want to add support of your board beside of the Wandboard
>     support, you will have to insert a new layer of board
definition. But
>     being in your position I would first change the current Wandboard
>     settings to see whether it works in general.
>
>     >
>     > How would I lower the RAM size for my build, and what files
are involved?
>
>     It is the very same file. You have to change the value of
RAM0_SIZE.
>
>     Regards
>     Stefan
>
>     >
>     > Thank you
>     >
>     > On Thu, Mar 2, 2017 at 4:53 AM, Stefan Kalkowski
>     > <stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>
>     <mailto:stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>>
>     > <mailto:stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>
>     <mailto:stefan.kalkowski@...1...
<mailto:stefan.kalkowski@...1...>>>> wrote:
>     >
>     >     Hi,
>     >
>     >     well, just because both boards Wandboard and i.MX 6Q Sabre
>     Lite are
>     >     using the same system-on-chip (SoC) does not mean they are
>     identical. So
>     >     if you are hesitant to start instrumenting the startup code,
>     e.g., via
>     >     additional log() calls, you can at least compare the
high level
>     >     description of the boards. One main issue is which memory
>     slots are used
>     >     by which board, and which UART within the SoC is used
for the
>     serial
>     >     line connector of the board.
>     >
>     >     One thing that was striking me first when looking at
high-level
>     >     description of the Sabre Lite board is that is has just 1 GB
>     of RAM,
>     >     whereby the Wandboard has 2 GB. This is obviously an
issue. When
>     >     lowering the RAM size for your setup you potentially
will get
>     one step
>     >     ahead. But if they are using different UARTs you will
not see
>     any log
>     >     message anyway. In that case you have to check whether both
>     boards use
>     >     the same UART.
>     >
>     >     Regards
>     >     Stefan
>     >
>     >     On 03/01/2017 08:28 PM, Yevgeny Lavrov wrote:
>     >     > Hello
>     >     >
>     >     > Is there anything from Genode that I can try on i.MX6Q
Sabre
>     Lite
>     >     > development board? So far I've already attempted *log*
image
>     that I've
>     >     > obtained from compiling Genode for i.MX6 based Wandboard.
>     The fastboot
>     >     > option that gets executed after *$ make run/log
*resulted in
>     >     nothing, so
>     >     > I've also tried to copy the created images onto SD
Card and
>     run them
>     >     > directly on the board.
>     >     >
>     >     > Steps:
>     >     > Once in u-boot prompt
>     >     >
>     >     > => fatload mmc 0 0x30000000 image.elf
>     >     > reading
>     >     > image.elf
>     >     >
>     >     > 1716880 bytes read in 107 ms (15.3 MiB/s)
>     >     > => bootelf 0x30000000
>     >     > ## Starting application at 0x10001000 ...
>     >     >
>     >     > Then the terminal hangs w/o any output.
>     >     >
>     >     > Same thing happens when executing uImage
>     >     > => fatload mmc 0 0x30000000 uImage
>     >     > reading uImage
>     >     > 594679 bytes read in 48 ms (11.8 MiB/s)
>     >     > => bootm 0x30000000
>     >     >
>     >     > Terminal hangs once it reaches: Starting kernel ...
>     >     >
>     >     > Any suggestions on what's wrong?
>     >     >
>     >     > Thank you
>     >     >
>     >     >
>     >     >
>     >     >
>     >     >
>     >
>     
------------------------------------------------------------------------------
>     >     > Check out the vibrant tech community on one of the
world's most
>     >     > engaging tech sites, SlashDot.org!
http://sdm.link/slashdot
>     >     >
>     >     >
>     >     >
>     >     > _______________________________________________
>     >     > genode-main mailing list
>     >     > genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>
>     >     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>>
>     >     > https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>
>     >     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>>
>     >     >
>     >
>     >     --
>     >     Stefan Kalkowski
>     >     Genode Labs
>     >
>     >     https://github.com/skalk · http://genode.org/
>     >
>     >     ------------------------------------------------------------------------------
>     >     Check out the vibrant tech community on one of the world's most
>     >     engaging tech sites, SlashDot.org! http://sdm.link/slashdot
>     >     _______________________________________________
>     >     genode-main mailing list
>     >     genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>
>     >     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>>
>     >     https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>
>     >     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>>
>     >
>     >
>     >
>     >
>     > ------------------------------------------------------------------------------
>     > Check out the vibrant tech community on one of the world's most
>     > engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>     >
>     >
>     >
>     > _______________________________________________
>     > genode-main mailing list
>     > genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>
>     > https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>
>     >
>
>     --
>     Stefan Kalkowski
>     Genode Labs
>
>     https://github.com/skalk · http://genode.org/
>
>     ------------------------------------------------------------------------------
>     Check out the vibrant tech community on one of the world's most
>     engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>     _______________________________________________
>     genode-main mailing list
>     genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
>     <mailto:genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>>
>     https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>     <https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>>
>
>
>
>
>
------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>
>
>
> _______________________________________________
> genode-main mailing list
> genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
> https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>
>

--
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
<mailto:genode-main@lists.sourceforge.net>
https://lists.sourceforge.net/lists/listinfo/genode-main
<https://lists.sourceforge.net/lists/listinfo/genode-main>

Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot

genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Re: Genode on i.MX6Q Sabre Lite