search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Explicitly install `ssh` #30

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

It looks like this is not part of the base dependencies any more, but needed by git and repo etc.