search

seL4 / seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
13 stars 40 forks source link

Fix rust script, so any user can use the rust compiler. #24

Closed LukeMondy closed 4 years ago

LukeMondy commented 4 years ago

Fix for the issue raised here: https://sel4.systems/pipermail/devel/2020-August/002851.html

Essentially, the rust compiler was being put in a place that only the root user could access, which is not very useful.

This puts it in a generic place, and ensures the permissions are OK.

This PR should not be merged on GitHub, it should be merged internally first.

LukeMondy commented 4 years ago

Merged via: https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/commit/7b485c05b81cc35ecf5c396c03c7065c0b1bc0f7