Re: [seL4] Error with the file handling in camkes tutorial

...

...

...

...

"Akshat" == Akshat Garg writes:

Akshat> I am trying to understand how the camkes system works. I get Akshat> stuck up on a problem where I tried to change the code of Akshat> camkes 1 tutorial ( Akshat> https://docs.sel4.systems/Tutorials/hello-camkes-1.html) a Akshat> bit. In a simple sender receiver code, I tried to write the Akshat> contents, received by the receiver, in a file. But, while Akshat> doing it I got the following error message. The error message Akshat> was not letting me to create a file in any mode. Akshat> When using read mode with FILE *fptr = fopen("xxxyyyzzz", Akshat> "r"); seL4 doesn't have a file system or a disc device to talk to, so the stdio mechanisms for fopen() etc., are not implemented. If you want to save things to a file, you'll need to implement a file system and a disc device. Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61