GKI_KERNEL_CLANG_VER=r450784e
KERNEL_BRANCH=android13-5.15
KERNEL_REPO=https://android.googlesource.com/kernel/common
VENDOR_KERNEL_MAKEVERSION=
VENDOR_KERNEL_COMMIT=
GKI_KERNEL_MAKEVERSION=5.15.41
GKI_KERNEL_COMMIT=72ce723ccf9572ba7d6e015ea317aaaefcb3bc53