archlinux-docker customized for ci
Custom patches for Arch Linux kernel
NVIDIA drivers for linux-pt
Virtualbox host kernel modules for patched Arch Kernel
fdroid repo, on k8s
v4l2loopback kernel modules for patched Arch Kernel