Hi Bill, I’d like to get a clear technical clarification regarding Android 16 and Pixel device sources: Device trees (DTS/DTB) are not optional. They are required to build a working kernel for a device, and without them, the shipped Pixel kernel cannot be reproduced. GKI does not replace the full device kernel. While GKI provides a generic kernel core, it does not include Pixel-specific hardware initialization. As such, it is not equivalent to the shipped product. Current AOSP sources appear to lack Pixel-specific device trees. If these sources remain private, it is technically impossible to reproduce the shipped kernel. Could you clarify how GPL compliance is addressed under these circumstances? From a practical standpoint, the shipped product cannot be reconstructed from public sources, and any reliance on GKI alone does not resolve this gap. I’d appreciate a non-standard, detailed response rather than the usual statement about “building GSI or Cuttlefish targets,” since those do not address Pixel-specific reproducibility. Thank you, I appreciate you taking the time to respond.
PS: Any response that does not directly address the technical and factual points outlined will be documented for public reference, as it reflects both on the reproducibility and compliance of the shipped product and on the responsibility of Google staff to provide accurate, truthful guidance. On Wednesday, June 11, 2025 at 7:08:51 PM UTC-5 Bill Yi wrote: > We remain committed to AOSP updates. You continue to have the option to > build Cuttlefish and GSI targets from the sources for experimentation. > > bill > > On Wednesday, June 11, 2025 at 4:57:47 PM UTC-7 CLF BBN wrote: > >> In the current AOSP release of Android 16, I find that no pixel device >> repositories are updated to the android 16 tag. Does it mean AOSP stops >> releasing them? Or will it be available at a later date? >> > -- -- You received this message because you are subscribed to the "Android Building" mailing list. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-building?hl=en --- You received this message because you are subscribed to the Google Groups "Android Building" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/android-building/e84a05bd-d93d-486f-aae6-85e678ebff10n%40googlegroups.com.
