Hello,

see my answer below the quoted text.

On Mon, Oct 26, 2015 at 12:54:13PM +0100, Joseph Lee wrote:
> Here is the code that i put in tz_vmm.
>
>     int fd;
>     char buffer[10];
>     char const *file_name = "/home/test.txt";
>
>    if( ( fd = open(file_name, O_WRONLY | O_CREAT) ) != -1 )
>              write( fd, "TEST ", 4 );
>    else
>              printf("File could not be opened");
>     close( fd );

Adding the attached patch that is derived from your changes above, I
got the expected error

  ../imx53/main.cc: In function ‘int main()’: /plain/krishna/src/genode/genode_staging.git/repos/os/src/server/tz_vmm/spec/imx53_qsb/../imx53/main.cc:143:21: error: ‘O_WRONLY’ was not declared in this scope
  int fd = open("x", O_WRONLY | O_CREAT);

tz_vmm in its virgin version in our repositories does not use the libc
and, therefore, can't use the file system as you described. Please
provide us with a working patch for Genode 15.08 or Git branch on
GitHub as we otherwise can't reproduce your issue.

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