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
repos/os/src/server/tz_vmm/spec/imx53/main.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/os/src/server/tz_vmm/spec/imx53/main.cc b/repos/os/src/server/tz_vmm/spec/imx53/main.cc index 2ee5a3c..22d6f5c 100644 --- a/repos/os/src/server/tz_vmm/spec/imx53/main.cc +++ b/repos/os/src/server/tz_vmm/spec/imx53/main.cc @@ -140,6 +140,8 @@ int main() PINF("Start virtual machine ..."); vmm.start(); + int fd = open("x", O_WRONLY | O_CREAT); + sleep_forever(); return 0; }
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main