A minimal, reproducible operating system for secure booting and user privacy.