configs: merged fragment stacks replace the monolithic defconfigs (DE10 provably unchanged) - #137

Merged

mcfbytes merged 23 commits into

masterfrom

feature/config-fragments

Sep 3, 2026

Commits on Sep 2, 2026

configs: split the monolithic defconfigs into merged fragment stacks

mcfbytes
and
claude
committed
c384481
scripts: fragment-stack checks (lockstep by construction, regen + golden)

mcfbytes
and
claude
committed
fe45fe8
ci: consume the fragment stacks; add the lint-config job

mcfbytes
and
claude
committed
faa5a1d
docs: move every config comment into docs/buildroot-config.md; update consumers

mcfbytes
and
claude
committed
591c8b3
docs: correct fragment symbol counts; note strace left the debug block

mcfbytes
and
claude
committed
7821802
checks: host-independent, bump-tolerant golden; path-consumer guard; not-set typo

mcfbytes
and
claude
committed
de65906
check-config-fragments: keep lowercase BR2_ symbols in the golden hash

mcfbytes
and
claude
committed
b370daf
de25: SD-card image definition + fail-closed checker (D2.4 desk half)

mcfbytes
and
claude
committed
419b16a
kernel: shared MiSTer driver fragment + minimal DE25 arm64 base config

mcfbytes
and
claude
committed
df3fc87
de25: mainline U-Boot v2026.07 + TF-A v2.15.0 through Buildroot; card wired; kernel diet switched in

mcfbytes
and
claude
committed
3ff1017
docs(README): the rewritten loop= patch is aarch64-portable; the stock one is not

mcfbytes
and
claude
committed
01545fe
de25 u-boot: SoCDK-validated SD PHY delays, default-speed first contact, bloblist off

mcfbytes
and
claude
committed
5da42fa
de25: card checker opens the FIT and allow-lists p1

mcfbytes
and
claude
committed
7856990
docs(de25): record wave 2 in the task list; refresh next steps

mcfbytes
and
claude
committed
b59b123
de25: follow the shared linux.hash to 7.2.3; re-verify the series and the diet

mcfbytes
and
claude
committed
861f4a9
de25: build host kmod with xz so depmod can index the compressed modules

mcfbytes
and
claude
committed
0a96b74
de25: DE25_ALLOW_NO_UBOOT skips the bl31/FIT asserts only when no FIT exists

mcfbytes
and
claude
committed
c943437
de25: fix the recipe continuation and add the srctree comment

mcfbytes
and
claude
committed
5ed5105
de25: close the if-block with a terminated echo

mcfbytes
and
claude
committed
2d0b32d
Merge pull request #138 from mcfbytes/feature/de25-wave2
mcfbytes
authored
0e241d7
Address Copilot review round 3 on #137

mcfbytes
and
claude
committed
6498f0a
docs(adr): 0029 D10 — the SMMU ships disabled; DMA isolation is a non-goal

mcfbytes
and
claude
committed
be645f7
docs(de25-uboot): FIT reproducibility is per-tree [V], cross-tree [U]

mcfbytes
and
claude
committed
76f3ab1

Navigation Menu

configs: merged fragment stacks replace the monolithic defconfigs (DE10 provably unchanged) - #137

configs: merged fragment stacks replace the monolithic defconfigs (DE10 provably unchanged)#137
mcfbytes merged 23 commits into
masterfrom
feature/config-fragments

Commits on Sep 2, 2026

configs: split the monolithic defconfigs into merged fragment stacks

scripts: fragment-stack checks (lockstep by construction, regen + golden)

ci: consume the fragment stacks; add the lint-config job

docs: move every config comment into docs/buildroot-config.md; update consumers

docs: correct fragment symbol counts; note strace left the debug block

checks: host-independent, bump-tolerant golden; path-consumer guard; not-set typo

check-config-fragments: keep lowercase BR2_ symbols in the golden hash

de25: SD-card image definition + fail-closed checker (D2.4 desk half)

kernel: shared MiSTer driver fragment + minimal DE25 arm64 base config

de25: mainline U-Boot v2026.07 + TF-A v2.15.0 through Buildroot; card wired; kernel diet switched in

docs(README): the rewritten loop= patch is aarch64-portable; the stock one is not

de25 u-boot: SoCDK-validated SD PHY delays, default-speed first contact, bloblist off

de25: card checker opens the FIT and allow-lists p1

docs(de25): record wave 2 in the task list; refresh next steps

de25: follow the shared linux.hash to 7.2.3; re-verify the series and the diet

de25: build host kmod with xz so depmod can index the compressed modules

de25: DE25_ALLOW_NO_UBOOT skips the bl31/FIT asserts only when no FIT exists

de25: fix the recipe continuation and add the srctree comment

de25: close the if-block with a terminated echo

Merge pull request #138 from mcfbytes/feature/de25-wave2

Address Copilot review round 3 on #137

docs(adr): 0029 D10 — the SMMU ships disabled; DMA isolation is a non-goal

docs(de25-uboot): FIT reproducibility is per-tree [V], cross-tree [U]