GitHub repository: mempo/mempo-kernel
Primary language: Standard ML
Description: Deterministic kernel build scripts, for Linux, mainly for Debian