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