search

seL4 / seL4-CAmkES-L4v-dockerfiles

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

Makefile: revert localtime mapping removal #77

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

Mapping /etc/localtime was removed unintentionally in ef7632ca294.