Add x280 port, based on coreboot 25.12 + atop SPD upstream patch - #2189

Merged

tlaurion merged 4 commits into

linuxboot:masterfrom

NobodyNo0ne:Poc_x280

Sep 1, 2026

Commits on Aug 28, 2026

Support for X280. CircleCI seed for Coreboot 25.12. Patches for SPI locking, and 16GB models of X280 for Coreboot 25.12. TLaurion fixes for splash/display, without i915.
NobodyNo0ne
committed
1d60fc2
Went through the reviewed changes and did some of them.
NobodyNo0ne
committed
10f2093
I hope this was the issue. CircleCI logs suggest it is not but I changed nothing in modules/coreboot for it to fail finding 3rdparty
NobodyNo0ne
committed
7576221
Final changes to comments, and added myself and @AlguienSasaki to BOARDS_AND_TESTERS.md
NobodyNo0ne
committed
32a0c6b