Tools to manage things that run on staging.kernelci.org.

build Debian package snapshots from git

gtucker's buildroot branches

Mesa development

Upstream: https://git.linaro.org/lava/lava.git

Article describing segregated dynamic linking

Linux kernel source tree

Used for tracing on vendor kernel

Upstream: https://cgit.freedesktop.org/xorg/app/intel-gpu-tools/