No description
This repository's history is a single commit by design. It carries the binary artefacts of the BraX3 kernel build: the kernel image, dtbo.img, mtk.dtb, vendor_boot, uapi headers, and 774 loadable modules in vendor_dlkm. Every one of these is GPL-2.0, and the corresponding source is published: BaseOS/android_kernel_mt6835 for the kernel, and BaseOS/android_vendor_mediatek_kernel_modules for the out-of-tree modules. The kernel identifies its own source in its banner -- 5.15.209-android13-8-gdd511ad2a748 -- and dd511ad2a748 is the exact commit published there. PREBUILT_INFO records how each value was derived from the artefacts rather than from a build log, so the claim can be rechecked without trusting this file. Why the history was replaced, 2026-08-18. The previous history had sixteen commits reaching back to 2025-03-26, and it accumulated 3435 versions of these module binaries across 623 distinct paths -- roughly 2661 superseded builds, in a 286 MB repository serving a 161 MB working tree. That is a GPL-2.0 problem, not merely weight. Section 3 requires the source corresponding to the binary conveyed, and this repository is readable anonymously with its full history, so it conveyed every one of those 2661 older module builds. Their corresponding source does not exist publicly. The published kernel source is a single curated sixteen-commit lineage ending at dd511ad, and PREBUILT_INFO states the position plainly for the generation immediately before this one: the previous contents were the MediaTek ALPS binaries 5.15.206-android13-8-g5ed6dfd62343, built 2026-06-05, "whose corresponding source was never published". So the older commits offered binaries under a licence that entitles the recipient to source, from a place that had none to give. Removing them at a later tip would not have helped, because git serves history; only replacing the history does. Nothing worth keeping was lost. The prior log reads init, sync kernel, update, update all, BSP update -- fifteen import commits with no provenance recorded, which is precisely why PREBUILT_INFO was written. A complete mirror is retained internally, so what was distributed and when remains answerable. The tree here is byte-identical to b89237d, the tip this replaces, so the release tag baseos-1.0-20260812-brax3 was re-cut at this commit under the same name: it points at the same content it always did. What this does not fix: the modules here were built before the module source tree was pruned, so they are one build behind it. That is task F32 in BASEOS_TASKS.md and needs a build, not a rewrite. See REPUBLISH_PREFLIGHT.md. Change-Id: I8eee08746c5d3d69b74b0736cfe71398ac5a4efc |
||
|---|---|---|
| vendor_boot | ||
| vendor_dlkm | ||
| dtbo.img | ||
| kernel | ||
| kernel-uapi-headers.tar.gz | ||
| LICENSE | ||
| MODULE_LICENSE_GPL | ||
| mtk.dtb | ||
| NOTICE | ||
| PREBUILT_INFO | ||