The authors introduce tine, a new Buck2-based build system designed for building operating systems with cryptographically verifiable integrity, aiming to meet requirements such as minimal host requirements and full control over inputs. Tine is built on top of Buck2 and offers features like hermetic, reproducible builds, native image builds, and monorepo-based iteration, making it suitable for ...