fopen() in Genode?

Sam Kerr kerr.sam at ...9...
Tue Feb 14 20:18:12 CET 2012

How can I use fopen() and write a file to disk? When I run the function

    void file_pass()
       printf("File pass\n");
       char buffer[] = {'s', 'a', 'm'};
       FILE* f = fopen("temp","w");
       fwrite(buffer, 1, 3, f);

I get the error:

	no plugin found for open("temp", int)

Can anyone offer some advice?

I am using L4Pistachio as my base.

More information about the users mailing list