Background

Lots of background information about various aspects of the CKI setup

Container images

How the CKI team creates, builds, tests and deploys container images used for services, cron jobs and the pipeline

Kernel configs for upstream kernels

Pipeline architecture

Diagram of the dataflow throughout the pipeline

Pipeline triggering

Reliability engineering

Providing a reliable service on unreliable infrastructure

Resilient Messaging Queues

How CKI manages data distribution.

Secure Compile Environment

Secure environment in AWS for compiling untrusted kernel code

Last modified August 2, 2021: Restructure hacking part of documentation (7c944b5)