GitHub repository: tiiuae/dockerized_sel4_compile
Primary language: Shell
Created: 2021-05-04T12:34:15Z
Description: Compile seL4 inside Docker container