Hi Christian,

Thank you so much!

Now it works. There was a problem with the file system (ram_fs) configuration in the run script. But it only works when i perform the file access inside the main() function of tz_vmm. it generates the following error when i try to access the file inside _handle_hypervisor_call() function after the normal world performs a secure method call (smc) to the secure world. Can you please tell me what is missing?

       int -> tz_vmm ->vmm: unresolved pagefault at ip=700ac620 sp=e01fcfe8
       core -> pager_ep: cannot submit unknown signal context.

thanks,

On Tue, Oct 27, 2015 at 2:45 PM, Christian Helmuth <christian.helmuth@...1...> wrote:
Hello Joseph,

On Mon, Oct 26, 2015 at 03:28:40PM +0100, Joseph Lee wrote:
> please find attached patches for Genode 15.08.

Your patches do not apply to Genode 15.08. Therefore, I assume you're
using the genode/master branch.

Also, what your patches are missing is a simple test case in terms of
a run script. The script will really help to understand and
investigate your scenario as it does not only reflect implementation
changes but also the init config and how your image is assembled - in
other words: The run script is essential to reproduce your issue.

Nevertheless, I have a hint what might went wrong: Did you configure
the VFS of tz_vmm in your scenario? Please refer to

  repos/libports/run/libc_vfs.run

for a really simple scenario. In your case you need to add a node
for the ram_fs via an <fs/> node.

Regards
--
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main