* CMake version (currently tested with 3.16.3) * seL4 build deps `pip3 install --user setuptools sel4-deps`