search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

delete merged branches "spdx" and "fix_os" #44

Closed axel-h closed 2 years ago

axel-h commented 2 years ago

The branches "spdx" and "fix_os" have been merged, so they should be deleted.

lsf37 commented 2 years ago

:+1: