Earlier quoted context omitted.
I looked through all the sunfish repos first, which is how I found this: https://android.googlesource.com/device/google/sunfish-kerne... But apparently sunfish-kernel only contains binaries. Given there's an update to Image.lz4, that seems there's an update to the kernel. I also compared the binary to the previous version and found some new strings possibly related to battery charging profile. Next I checked out the…
If those pre-compiled binaries aren't based on GPL software, I don't think you'll have much luck getting their sources. Android's source code is a maze of branches and tags, unfortunately. The change can have been made in the generic cross-device kernel tree, or it could've been a separate module, or it could've been a binary. One thing you could consider is checking out the kernel for a project like LineageOS: https…
Would changes to external closed-source binary files change the kernel image itself? There are kernel modules in that commit but it looks to me like they all come directly from here: https://developers.google.com/android/drivers
Google does provide detailed instructions for downloading all sources for the kernel, and I didn't see any changes since 2023 to any source files: https://source.android.com/docs/setup/
Thanks for the extra places to look. I'll check them out.