It's cool that they also have a ready docker image with their building toolchain. Setting up a dev environment for a C project can be cumbersome otherwise.