Skip to content

Zephyr - #2389

Draft
petermm wants to merge 77 commits into
atomvm:release-0.7from
petermm:pr/958-rebased
Draft

Zephyr#2389
petermm wants to merge 77 commits into
atomvm:release-0.7from
petermm:pr/958-rebased

Conversation

@petermm

@petermm petermm commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

Based on #958

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

UncleGrumpy and others added 27 commits November 4, 2026 17:06
@UncleGrumpy @petermm
WIP: Port to Zephyr OS
2f604d7 
Setup a freestanding `west` application project for `Zephyr SDK`.

Signed-off-by: Winford <winford@object.stream>
@petermm
Add Zephyr ESP32 and Pico boards
f09caa7 
Prototype ESP32, ESP32-S3, and Raspberry Pi Pico
targets on the Zephyr port, including early Wi-Fi bring-up.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add experimental Zephyr SMP on QEMU
c53edaa 
Enable SMP for qemu_x86_64 so scheduler tests can run
on the Zephyr simulator.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr UART NIF support
ac90f50 
Implement a Zephyr UART NIF collection with resource lifecycle handling, devicetree-backed UART lookup, runtime serial configuration, and read/write/state/error operations.

Keep synchronous polling bounded so long or infinite UART waits do not stall the AtomVM scheduler indefinitely, and preserve partial read data on timeout or device error.

Compile the driver when CONFIG_SERIAL is enabled.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr I2C support
a59a46f 
Add a Zephyr-backed i2c resource NIF collection, enable CONFIG_I2C in the Zephyr port, and wire the driver into the platform library build.

Introduce avm_zephyr with an i2c_hal implementation and atomvmlib-zephyr packaging so I2C examples can dialyze against the Zephyr API.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add initial Zephyr test support
4c93a23 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr native_sim I2C test
42e0e17 
Add a native_sim Twister scenario that embeds a small Erlang test AVM and registers a Zephyr I2C emulator target to exercise the AtomVM Zephyr I2C NIF path.

Teach the Zephyr test app how to boot an embedded test AVM and exit for simulator harnesses, and install the Erlang/rebar tooling needed to build test BEAMs in the Docker image.

Verified with:
- ./docker-test.sh -b native_sim
- ./docker-test.sh -b qemu_x86_64
- ./docker-test.sh -b esp32_devkitc/esp32/procpu
- git diff --check

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Make Zephyr CI and Wokwi coverage
12a6fbf 
Wire ASan/UBSan, Wokwi, and the Zephyr GitHub workflow
so the new port is built and simulated in CI.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: implement and test erlang:system_info(system_architecture)
37cc0bc 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
CI: fix wokwi simulator target for Raspberry Pi Pico
bd2a559 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: Port core Erlang, timezone, and NIF resolution tests from ESP32
885815d 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: implement filesystem mount NIFs and port storage tests
75ac47b 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: add TODOS.md roadmap for remaining ESP32 tests to port
d2f1174 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: port test_md5, test_crypto, and test_file from ESP32
b2f6a57 
Port three high-priority tests from the ESP32 platform runner to Zephyr:

- test_md5: verifies erlang:md5/1 NIF (direct copy, no platform deps)
- test_crypto: verifies crypto:hash/2 and crypto:crypto_one_time/4,5
  (adapted to remove esp32_chip_info call, uses non-AES-192 cipher set)
- test_file: verifies POSIX file I/O and FD garbage collection
  (adapted to use Zephyr RAM FAT FS via zephyr:mkfs/mount/umount)

Enable mbedTLS in the test Kconfig via Zephyr PSA Crypto symbols
(MBEDTLS_HASH_ALL_ENABLED, MBEDTLS_CIPHER_ALL_ENABLED, etc.).

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Enable Zephyr PSA crypto tests
b97a866 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr select test coverage
adfb436 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Scope Zephyr test configs by board
e51940e 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Fix Zephyr Wokwi test packaging
f9832a3 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr ESP32 Wi-Fi scan
2911333 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr Wi-Fi scan cancel
5dd563a 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr managed Wi-Fi test
3f1cc7c 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr Wi-Fi example test
107277c 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Use async Zephyr SNTP
b7756f7 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Clean up Zephyr Kconfig
9102f33 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr SSL test
a170ec5 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr SSL support
19c013e 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr power management APIs
36ec0bf 
Signed-off-by: Peter M <petermm@gmail.com>
petermm added 23 commits November 4, 2026 17:07
@petermm
CI: increase Zephyr Wokwi timeout
7d44ff9 
Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: enable test_ssl on Wokwi
b1b0218 
The Erlang TLS client was already packaged but commented out.
Run it as its own ZTEST on Wi-Fi boards, share the github.com
cipher/PSA settings with ESP32-C3 and ESP32-S3, and give Wokwi
180s so handshake plus the later Wi-Fi cases still fit.

Also drop leftover otp_ssl tracing from the WIP enablement.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Keep connected after late sta_connected
2dc04f3 
A delayed connect-result after sta_got_ip was overwriting
connected with associated. test_ssl leaves the radio up, so
test_wifi_managed then failed on sta_status().

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Move zephyr.erl into avm_zephyr
d3fa7a1 
Ship the platform NIF wrappers with atomvmlib-zephyr so
applications can call mount, socketpair, PM, and the task
watchdog without a test-only module.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr reboot, reset, MAC, and timer NIFs
fb5c545 
Expose the portable sys_reboot, hwinfo reset-cause, net_if
link address, and uptime-microsecond APIs through zephyr.erl
so applications have the same platform hooks they use on ESP32.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr Settings/NVS API
ae8fb93 
Store binary values under Namespace/Key via Zephyr Settings
and NVS. ESP32 boards use the existing storage partition,
Pico W carves 24 KiB from flash, and native_sim uses the
simulated-flash storage partition.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Skip test_ssl on ESP32-C3 Wokwi
1e6f822 
GitHub resets the TCP connection mid-handshake after about
75s on C3. Classic ESP32 still runs the TLS client case.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr deep sleep and wakeup NIFs
b08128a 
Expose deep_sleep, GPIO wakeup, and wakeup cause through
zephyr.erl. ESP32 uses sys_poweroff plus the Espressif
timer and GPIO wakeup sources.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Test Zephyr timer wakeup after 500ms sleep
103f323 
Sleep on first boot and continue the suite when
sleep_get_wakeup_cause returns timer. Ignore the
ESP UNDEFINED bit so a cold boot is not unknown.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr SoftAP, AP+STA, and AP DHCP
2466fe2 
network:start([{ap, ...}]) enables Zephyr AP mode and waits
for ap_started. ESP32 boards add a second wifi_ap iface so
STA and AP can run together. The AP is given 192.168.4.1 and
CONFIG_NET_DHCPV4_SERVER leases from 192.168.4.2, emitting
sta_ip_assigned. Raise poll/eventfd limits so the DHCP
server does not starve STA DNS.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Run esp32devmode on Zephyr and cover it in Wokwi
6769ba9 
Keep the module name so ESP32 boot images stay unchanged.
Persist settings through zephyr:settings_* on Zephyr and
esp:nvs_* on ESP32. Default gen_tcp/gen_udp to the otp_socket
backend on Zephyr, which has no legacy socket port driver.
Fold start_network into the existing ESP32 Wokwi suite as
test_wifi_z_devmode so leftover AP sockets cannot starve STA.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr DAC API
680457e 
Expose open/write/close through dac.erl. Controllers are
selected by atomvm,dac, index, or device name. native_sim
uses zephyr,dac-emul; classic ESP32 enables the on-chip
DAC on GPIO25. ESP32-C3 and ESP32-S3 have no DAC.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Fix ESP32-C3 Wokwi GPIO pin and suite timeout
369cbcd 
Use GPIO10 on C3 instead of GPIO0. Stop wokwi-cli as soon as
the suite prints PROJECT EXECUTION FAILED instead of waiting
the full 180s for SUCCESSFUL.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Detect ESP32-C3 GPIO tests via riscv64-espressif
2bdfc24 
C3 reports riscv64-espressif-zephyr, not esp32c3, so the
previous match kept using GPIO0. Match the architecture
tuple instead.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Skip test_ssl on ESP32-S3 Wokwi
7ef80cb 
Handshake returns {error,-2} after about 7s. Classic ESP32
still runs the TLS client case.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Use vendor esp for Zephyr Espressif chips
3f100ef 
Force PLATFORM_VENDOR esp for the Espressif SoC family so
C3 reports riscv64-esp-zephyr and Xtensa reports
xtensa-esp-zephyr, matching the xtensa-esp-esp_idf shape.
Update tests that matched espressif in the vendor field.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add erlang:system_info(esp32_chip_info) on Zephyr
ad9309b 
Return the same model/cores/features/revision map as ESP-IDF
for Espressif SoC series. Model comes from CONFIG_SOC_SERIES_*;
cores and features use the typical values for that series.
native_sim still returns undefined.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Report riscv32 for Zephyr RV32 SoCs
a008ce0 
Zephyr RISC-V compiler dumpmachine is always
riscv64-zephyr-elf. Override PLATFORM_ARCH using
CONFIG_RISCV and CONFIG_64BIT so ESP32-C3 reports
riscv32-esp-zephyr, matching riscv32-esp-esp_idf.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr Flash Map API
46a7932 
Expose flash_list, flash_read, flash_write, and flash_erase
through zephyr.erl. Areas are selected by id or partition
label. On Espressif chips, flash_mmap maps flash via
spi_flash_mmap. native_sim and ESP32-C3 cover list/read
and scratch erase/write; mmap is asserted on C3.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add zephyr:freq_hz/0
608e446 
Return sys_clock_hw_cycles_per_sec() as the hardware
cycle-counter frequency in Hz. test_platform checks a
positive integer on native_sim.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr settings erase-all and reformat
1966216 
settings_erase_all/1 and settings_reformat/0 delete keys
through the Settings API so NVS metadata stays consistent.
Erase captures one name, then deletes it, and repeats.
test_settings covers a three-key namespace wipe and
reformat followed immediately by put.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Add Zephyr I2C target transmit and receive
82b16e8 
Implement i2c:target_transmit/3 and target_receive/3 with
Zephyr I2C target callbacks when CONFIG_I2C_TARGET is set
and init is given {own_address, Addr}. native_sim loopback
covers both. Also compile-define the I2C emulator test.

Signed-off-by: Peter M <petermm@gmail.com>
@petermm
Zephyr: Bump to v4.5.0
09c9fb0 
Move the port and CI to Zephyr 4.5.0 and its matching
ghcr.io/zephyrproject-rtos/ci:v0.29.4 image. Zephyr SDK stays at
1.0.1, which is what the new image bundles.

Zephyr 4.5 requires explicit TLS 1.3 key exchange modes for Mbed
TLS 4.1, moved autoconf.h under the zephyr/ include prefix, and
requires zephyr,mapped-partition for the RP2040 code partition.
The deprecated fixed-partitions layout made 4.5 compute an absolute
FLASH_LOAD_OFFSET, which failed the link with overlapping sections.
The RP2350 cpucluster qualifiers are now m33_0 and hazard3_0, so the
Pico 2 W board fragment and the CI targets follow.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
@petermm
Zephyr: Tear down network on port destroy
26e6d8b 
Call stop_network() when the network port is destroyed so a VM that exits without network:stop() still disconnects the station and disables the AP. This matches the ESP32 port teardown path.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
@petermm
Zephyr tests: Make S3 Wi-Fi tests pass on Wokwi
90f6b85 
Run the S3 Wi-Fi tests again now that the S3 test image is IPv4-only.
Wokwi and esp-emu crash on S3 IPv6 traffic, including with MLD, DAD,
connection-manager, or A-MPDU RX disabled; C3 and classic ESP32 retain
IPv6 coverage.

Do not run the devmode test on the classic ESP32 Wokwi image: Mbed TLS
4.1 leaves too little heap for the development-mode HTTP server after
the TLS test in the same boot. The ESP32-C3 and ESP32-S3 images cover
dev mode.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
@petermm
Document ESP32-S3 IPv6 Wi-Fi crash
d245795 
Record the S3 Wi-Fi failures, the IPv6 configurations that do not help, the local Zephyr source locations, and candidate fixes. The S3 test image is IPv4-only until the Zephyr Wi-Fi RX/IPv6 path is fixed.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
@petermm
CI: run Zephyr Pico tests on Wokwi
d999111 
Add the non-wireless Raspberry Pi Pico to the Wokwi test matrix. Use
the ELF firmware and a checked-in Pico diagram, and reuse that diagram
in the local helper so local and CI runs stage the same files.

Raise the Pico ztest thread stack so AtomVM and Mbed TLS do not corrupt
adjacent kernel state, move the GPIO test to GP15 so it does not drive
the console TX pin, and omit Settings/NVS because Wokwi's RP2040 SSI
model cannot program flash.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
@petermm
CI: add Zephyr Pico 2 Wokwi tests
ab22310 
Add the Cortex-M33 Raspberry Pi Pico 2 to the Wokwi build and runtime
matrix. Supply a Pico 2 diagram and teach the local helper about the
board.

Raise the Pico 2 ztest stack and disable kernel assertions for the
Wokwi image: Zephyr 4.5's generic timer assertion fires on the first
timeout even though the kernel holds the timeout lock. Omit PM because
the Pico 2 devicetree has no CPU power states for the deep-sleep test;
ESP32 retains PM coverage.

Signed-off-by: Peter Madsen-Mygdal <petermm@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@petermm @UncleGrumpy