Hello Stefan,

Thank you very much for your answer!

To share what I did in my experiment:

I used the source code from this repository: https://github.com/decaprox/genode

It worked out of the box on the i.MX6 Sabre SD board.

I was also able to debug the core binary using the ARM DS-5 IDE and a DSTREAM JTAG device.

However, when I tried to debug the image.elf binary I was unable to do  a step by step walk through
in source code. The only thing that I was I able to see is the disassembly of the binary.

Do you have an idea of what could cause this.

Best regards,

Mahdi


On Thu, Nov 27, 2014 at 9:34 AM, Stefan Kalkowski <stefan.kalkowski@...1...> wrote:
Hello,

On 11/24/2014 10:04 AM, Mahdi Aichouch wrote:
> Hello,
>
> I have a running version of the bare-hw (no trustzone) on the ARM
> Cortex-A9 Freescale i.MX6 Sabre SD board.

Congratulations! Are you planning to share your findings with the community?

>
> I would like to test a Linux as a guest OS on top of bare-hw and the VMM
> in the Normal World.
>
> Does anyone have tried to test this configuration? Is it possible to
> share the steps to build such a working configuration?

I think a good starting point will be our article describing the general
process:

  http://genode.org/documentation/articles/trustzone

Unfortunately, we have not made any experiences with the Freescale i.MX6
Sabre SD board by now.

Regards
Stefan

>
> Thank you very much in advance.
>
> Best regards,
>
> Mahdi
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
> http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
>
>
>
> _______________________________________________
> genode-main mailing list
> genode-main@...49....sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>

--
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main