search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Migrate logic away from user.Dockerfile into a bash script. #27

Closed LukeMondy closed 3 years ago

LukeMondy commented 4 years ago

This is much cleaner for reading and linting, and as such, much easier to add logic to.

In this case, more complex logic on group creation has been added. If group creation fails, we now abandon trying to setup the group, which is mostly a nice-to-have.

I also added a small commit to fix https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles/issues/16, which was way easier than previous attempts.

Reporting and testing from: @robs-cse, who conveniently has an OSX box to test on :smile: