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.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com>> 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.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com> > > <mailto:stefan.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com>>> 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.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com> > > <mailto:stefan.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com>> > > > <mailto:stefan.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com> > > <mailto:stefan.kalkow...@genode-labs.com > <mailto:stefan.kalkow...@genode-labs.com>>>> 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/ ------------------------------------------------------------------------------ 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
