Re: Genode on i.MX6Q Sabre Lite

On 11/10/2017 12:05 PM, Yevgeny Lavrov wrote: > Hi Stefan, Martin, > > Thank you for your suggestions. Switching from .elf to uImage for > Wandboard Quad actually did the trick, and now I can observe serial > output. This is interesting, bootelf never failed me before.  well, that's interesting

Re: Genode on i.MX6Q Sabre Lite

Hi Stefan, Martin, Thank you for your suggestions. Switching from .elf to uImage for Wandboard Quad actually did the trick, and now I can observe serial output. This is interesting, bootelf never failed me before. On Wed, Nov 8, 2017 at 3:06 PM, Martin Stein wrote:

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, Stefan, Am 08.11.2017 um 11:29 schrieb Stefan Kalkowski: > Actually, I have no idea why the HW kernel should not work for you. We > test it all night, and currently _all_ tests for HW on Wandboard are > green. I can confirm the trouble you experience with init.run and > bomb.run on

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, On 11/08/2017 08:40 AM, Yevgeny Lavrov wrote: > Hi, > > Unfortunately, it never gets to the point where it says "Run script > execution successful", everything breaks once it reaches step 33 of the > init.run script. I've also given a try to Genode/seL4 on Wandboard Quad, > but

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, > no RM attachment (READ pf_addr=0x5f868 pf_ip=0x5f868 from pager_object: > pd='init -> init -> log' thread='ep') > > On x86_64, run/init occasionally fails with the same "no RM attachment" > error, but unlike on Sabre Lite or Wandboard, this error does not occur > every time, but if

Re: Genode on i.MX6Q Sabre Lite

Hi When trying various test scripts, I ran into the following problem while executing "run/init" script on Sabre Lite [init -> test-init] step 32 (init_config) [init -> test-init] step 33 (expect_log) [init -> test-init] [init -> log] config 3: became unavailable (ignored) no RM attachment

Re: Genode on i.MX6Q Sabre Lite

Hi Now that I have Genode running on i.MX6 under both kernels, hw and seL4, I want to move to my next objective, which is to bring up Linux on top of Genode/hw on ARM. Is there any already existing run script that I may use (as a reference) to achieve that on i.MX6 platform? Do I need

Re: Genode on i.MX6Q Sabre Lite

Thank you for quick reply. It was very helpful, and pointed me in the right direction. The answer was hiding within repos/base-sel4/patches/wand_quad.config, I somehow overlooked this directory while looking for answers. It turned out to be a one line fix in

Re: Genode on i.MX6Q Sabre Lite

On Wed, Sep 13, 2017 at 12:44:11PM +0200, Alexander Boettcher wrote: > On 13.09.2017 08:48, Alexander Boettcher wrote: > > The UART for Sabre Lite and Wand Quad are not the same, as far as I know. > > Sorry, my assumption seems to be wrong, since the messages above are > from the seL4 elfloader

Re: Genode on i.MX6Q Sabre Lite

On 13.09.2017 08:48, Alexander Boettcher wrote: >> to enable it on Sabre Lite platform, and currently I have no problems >> running test scenarios under default hw kernel. But when attempting to run >> Genode with seL4, the boot process hangs up once it reaches "Jumping to >> kernel-image entry

Re: Genode on i.MX6Q Sabre Lite

Hello, On 13.09.2017 00:31, Yevgeny Lavrov wrote: > With Genode 17.08 released, what is the current level of support for > Genode/seL4 on i.MX6 platform? I've applied my previous changes to Genode as written in the release notes, we support out-of-the-box the i.MX6 based Wand-Quad board. > to

Re: Genode on i.MX6Q Sabre Lite

Hi, With Genode 17.08 released, what is the current level of support for Genode/seL4 on i.MX6 platform? I've applied my previous changes to Genode to enable it on Sabre Lite platform, and currently I have no problems running test scenarios under default hw kernel. But when attempting to run

Re: Genode on i.MX6Q Sabre Lite

Hi, Norman > I wonder, how exactly are you running the image on the board? I normally just copy created image over to SD card and then run it via bootelf command. > In contrast, on ARM, everything (seL4 kernel + Genode) must be contained in a single image. The details of how such an image is

Re: Genode on i.MX6Q Sabre Lite

On Fri, Jun 23, 2017 at 12:00:42PM +0200, Norman Feske wrote: > Hello Yevgeny, > > On 23.06.2017 05:31, Yevgeny Lavrov wrote: > > Running the image on board gave no result, apart from msg: ## Starting > > application at 0x10001000 ... > > I wonder, how exactly are you running the image on the

Re: Genode on i.MX6Q Sabre Lite

Hello Yevgeny, On 23.06.2017 05:31, Yevgeny Lavrov wrote: > Running the image on board gave no result, apart from msg: ## Starting > application at 0x10001000 ... I wonder, how exactly are you running the image on the board? In particular, how is the image created? I am asking because the boot

Re: Genode on i.MX6Q Sabre Lite

Hi, On 21.06.2017 21:41, lavro...@critical.com wrote: > Yes, default_log.cc is listed in core-sel4.mk file. However, I've recently > noticed that not all of the components listed in SRC_CC actually get to > compile (including default_log.cc), which results in incomplete core-sel4 > library. After

Re: Genode on i.MX6Q Sabre Lite

Hello, On 16.06.2017 08:39, Yevgeny Lavrov wrote: > Are there any suggestions on what might be causing linking between seL4 and > Genode to fail? > It fails once it reaches /tool/run/run: proc build_core {lib > modules target link_address} with "undefined reference" errors. Which "undefined

Re: Genode on i.MX6Q Sabre Lite

Hi Are there any suggestions on what might be causing linking between seL4 and Genode to fail? It fails once it reaches /tool/run/run: proc build_core {lib modules target link_address} with "undefined reference" errors. # link final image exec [cross_dev_prefix]g++ {*}$arch -nostdlib

Re: Genode on i.MX6Q Sabre Lite

Hi, I kept experimenting with Genode/seL4 and I ran into the following issue that I can't solve. I have no more problems compiling Genode with seL4 kernel, but my build always ends with a lot of "undefined reference" errors: Ex: genode build completed using 'ld-sel4.lib.so' as 'ld.lib.so' using

Re: Genode on i.MX6Q Sabre Lite

Hello Yevgeny > For now I just want to confirm one thing about core-seL4.mk file. Want > to make sure that I understand everything correctly. > The files that are included through SRC_CC in core-seL4.mk. Not all of > them are present in base-seL4/src/core. So, where does it pull the files > that

Re: Genode on i.MX6Q Sabre Lite

Thanks for the support, and thank you Hinnerk for sharing your GitHub branch, so far it was very useful to me when dealing with some errors. I've looked into .mk files from base-hw and yes, the io_port* files only get added to the core-hw.mk if one compiles for x86_64, so I've excluded these files

Re: Genode on i.MX6Q Sabre Lite

On 04/03/2017 10:49 AM, Martin Stein wrote: > Hey Yevgeny. > > Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov: >> Hi, >> >> Thanks for the hints. I managed to solve the sd_card_bench issue. >> I've tried to print out completion state as Martin suggested by making >> the following changes to: >>

Re: Genode on i.MX6Q Sabre Lite

Hi, I have done some testing to get seL4 and Genode boot on an ARM device (AM335x based). I have a branch on github that got into the Genode userland code, but it sadly isn't that up to date (from december 2016). I just broke x86 support for testing purposes (as it is more or less hard coded in

Re: Genode on i.MX6Q Sabre Lite

Hey Yevgeny. Am 03.04.2017 um 04:49 schrieb Yevgeny Lavrov: > Hi, > > Thanks for the hints. I managed to solve the sd_card_bench issue. > I've tried to print out completion state as Martin suggested by making > the following changes to: > /repos/os/src/drivers/sd_card/spec/imx/driver.cc > >

Re: Genode on i.MX6Q Sabre Lite

Hi, On 03.04.2017 04:49, Yevgeny Lavrov wrote: > This did the trick and sd_card_bench successfully executed :) Good ! > On seL4 side I got this far: > The error occurs once the build process hits one of the files within this > directory: base-sel4/src/core and these files appear to be Genode

Re: Genode on i.MX6Q Sabre Lite

Hi, On 29.03.2017 15:06, Martin Stein wrote: >> And if it is possible, can you please suggest me a starting point for >> Genode/seL4 on i.MX6? I'm currently going through files in >> repos/base-sel4 directory and trying to make sense out of it. I'm still >> quite new to ARM platforms, as well as

Re: Genode on i.MX6Q Sabre Lite

Hi Yevgeny, Am 29.03.2017 um 10:53 schrieb Yevgeny Lavrov: > Thank you for providing me this list, Stefan. I ran every single script > from this list on my Sabre Lite, and the majority of them succeeded, > except the following three: bomb, part_blk, and sd_card_bench. > The sd_card_bench gave me

Re: Genode on i.MX6Q Sabre Lite

Thank you for providing me this list, Stefan. I ran every single script from this list on my Sabre Lite, and the majority of them succeeded, except the following three: bomb, part_blk, and sd_card_bench. The sd_card_bench gave me the following msg: [init] child "timer" announces service "Timer"

Re: Genode on i.MX6Q Sabre Lite

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

Re: Genode on i.MX6Q Sabre Lite

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? 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

Re: Genode on i.MX6Q Sabre Lite

I've made the necessary changes to UART variables, and lowered the amount of RAM by making RAM0_SIZE = 0x2000. After executing the image.elf on Sabre Lite, I got the following output: ## Starting application at 0x10001000 ... :virt_alloc: Allocator 0x200f40b4 dump: Block:

Re: Genode on i.MX6Q Sabre Lite

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 = 0x0202 while Sabre Lite uses UART2 which is 0x021e800. > I tried Genode 15.02 from the institute of >

Re: Genode on i.MX6Q Sabre Lite

Hi Thanks for the hint. You're correct about the UART, they are different. Wand uses UART1 = 0x0202 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, simple run/printf for now,