search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

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

Open AlonzoLAU opened 1 year ago

AlonzoLAU commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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