# the kernel git repo
archlinux-linux/

# build directories
src/
pkg/

# packages
linux-x32-*.pkg.tar.xz