GitHub repository: seL4/common-tool
Primary language: Makefile
Description: Part of the seL4 build system.