Zephyr 4.2.0-rc3 + usual patches
Flexible python tool to get the addresses of symbols from the Zephyr binary and create the files withPROVIDE(...) entries
Renamed "llext" to "dynamic" and "linked" to "static" in the menus
Addedundefined reference to...-style checks to dynamic builds (needs a not-yet-releasedarduino-cli)

pillo79 added8 commits

July 16, 2025 12:57

manifest: use latest zephyr branch

b1cbfc9

Switch to 4.2.0-rc3 + outstanding PRs.

package_core: accept licenses

ca3ea3a

giga: fix wrong remote-endpoint DTS definition

b12eb1c

build: replace gdb/readelf with extra/gen_provides.py

6c82ffd

Add a new Python script `extra/gen_provides.py` to generate theprovides.ld file for linked builds, replacing the previousapproach that used 'readelf' and 'gdb'.Signed-off-by: Luca Burelli <l.burelli@arduino.cc>

linked: enforce maximum size of sketch in linker script

8f1af8b

Stop the build when a sketch exceeds the maximum size defined by the'user_sketch' node in the device tree.Signed-off-by: Luca Burelli <l.burelli@arduino.cc>

platform: remove useless vars

af931dd

- compiler.zephyr.arch.define is always included in generated  cflags/cxxflags- compiler.zephyr is always empty- build.extra_extra_ldflags is not used anywhere

platform: generic 'static' and 'dynamic' builds

289280d

Refactor C33 'linked' mode into a common 'static' build, and the usualLLEXT mode as 'dynamic' build.

build: Add support for checking an llext build at compile time

6f50e00

This commit adds compile-time checking of the sketch to verify that allsymbols not directly resolved in the sketch are defined in the Zephyrcore. This reuses the 'linked' logic, but defines the llext-specificsymbols only.Signed-off-by: Luca Burelli <l.burelli@arduino.cc>