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