seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Permission Denied when ninja

sjtuzwj opened this issue · comments

捕获
The tutorials ahead of threads had no problems,however,when I ran threads/IPC,the error occured.
"rm -rf threads_build" makes no sense.

捕获
After exiting the container, it seems like ninja generate some files only accessible in the host machine. I think this is the source of error.

Hi @sjtuzwj, when changing between your host user and docker container user sometimes the file permissions get set so that one side can't access the other. When this happens you could try reinitialising the tutorial from the docker container to try building, and then using chmod -R a+rw . from the docker container to give the host access to the generated tutorials.

Closing due to staleness. Feel free to re-open if issue persists.