libsel4muslcsys : Is there a way to do normal read and write like in Linux?

[AlonzoLAU]

I'm so confused that when I try to use open() as I did in Linux but it seems like the open() call only supports O_RDONLY.
Is there a way to do normal read and write like in Linux? What library should i look at? Or do I need to implement it manually?

[axel-h]

Please provide a bit more context, what you are trying to do and what seL4 system you are using. By default seL4 does not come with a file storage driver or system, so these calls will not go anywhere besides stdin or stdout.

[AlonzoLAU]

Thank you! I want to record the logs of my Camkes Application on a U-disk or SD card. But it looks a little difficult 😂. So I have to use file storage through the camkes-vm?

[axel-h]

That would be one option, but running a VMM might be overkill depending on what you are trying to build.