seL4 / seL4-CAmkES-L4v-dockerfiles

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

Add python-protobuf3 #37

Closed nomadeel closed 3 years ago

nomadeel commented 3 years ago

The latest nanopb tools now use python3 instead of python2 which causes some of the Bamboo builds to fail. We leave python-protobuf here as the sel4test manifest which the dockerfiles test against has not yet updated to the latest changes which include the newest version of nanopb.

Signed-off-by: Damon Lee Damon.Lee@data61.csiro.au

nomadeel commented 3 years ago

Building our docker images takes too long =/