fix: x86 SMP bitcode/code-model mismatch (smp_semaphore/mutex/threads)#30

Open

avrabe wants to merge 2 commits intomainfrom

fix/smp-x86-bitcode-mismatch

Commits on May 3, 2026

zephyr: use release-lto profile on x86_64-unknown-none (fix SMP CI)

avrabe
and
claude
committed
zephyr: rebuild core via -Zbuild-std on x86 (proper SMP CI fix)

avrabe
and
claude
committed