Hello Thong

On Tue, Apr 28, 2015 at 7:31 AM, thong <thong@...323...> wrote:
Hi Martin Stein,
Thank you very much for your kind help! It was very useful for me and
after I found some differences about UART configuration and corrected
it, I was able to see log messages about starting tz_vmm on Serial Terminal.

Hi Chirag Garg,
Thanks for your great work! It was very good starting point for me. I
have tried your Normal world OS at

https://github.com/chiragdthinker/Genode_Binaries/

but what is output result to know your tz_vmm run successfully? Does it
launch graphical GUI on touch screen or what log message on Serial
Terminal?
In my try, it ended with a log message:

[init -> tz_vmm] SUPERVISOR CALL ..

It is a successful execution of tz_vmm. Normal OS binary located at the above mentioned link is just a simple Genode kernel image which execute the SMC call in higher privilege mode  in normal world which transfer the control back to the secure world at line 98.

Where it prints the "SUPERVISOR CALL .." log message after that it goes to _handle_hypervisor_call() located in the same file where it does nothing as of now depending on register r0 status and stops there. For more clarity you can see the following file to understand the flow. 
 
https://github.com/iitmadras/genode/blob/hw_sabrelite_tz_support/repos/os/src/server/tz_vmm/imx6/main.cc

If it has problem, please help me where should I take a look to solve.

Thank you very much and Best Regards,
--Thong Nguyen.

On 4/21/2015 8:24 PM, Martin Stein wrote:
> Hi Thong,
>
> On 21.04.2015 12:57, thong wrote:
>> Is that my board MX6Q SABRESD differs from SABRELITE causing this?
>> Please help me what I should do.
> Of course, this might be a problem. I'd suggest you to check the UART
> and the RAM configuration of Genode. For Sabrelite, both can be found in
> [1]. Maybe you're simply listening at another UART port.
>
> If you find differences, you should add a new platform 'hw_sabresd_tz'.
> What to do for that can be easily found by doing:
>
> find $GENODE_DIR/repos/ $GENODE_DIR/tool/ -wholename *sabrelite*
> grep -ri "sabrelite" $GENODE_DIR/repos/ $GENODE_DIR/tool/
>
> The new platform should make use of the less specific imx6 sources like
> it's done in the sabrelite sources.
>
> Cheers,
> Martin
>
> [1] $GENODE_DIR/repos/base/include/platform/sabrelite/drivers/board_base.h

Regards

Chirag Garg
IIT Madras , Rise Lab

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main