fopen() in Genode?

[Sam Kerr]

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

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

I get the error:

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


Can anyone offer some advice?

I am using L4Pistachio as my base.