search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Fix "make user_l4v" #5

Closed paolo-crisafulli closed 5 years ago

paolo-crisafulli commented 5 years ago

Recent commits have led the user_l4v account to be configured with an empty .isabelle dir. This pull request restores the way things worked previously, by letting root and user_l4v share the same .isabelle dir: both shall be symlinks to the /isabelle dir.

LukeMondy commented 5 years ago

Great, thanks for the fix. I've added your commit internally. Once it gets through our CI, it will be pushed out.