Part of the seL4 build system.