Skip to content

PXA 0.2.0-rc.1 — Verified Linux SDK & DevKit

Pre-release
Pre-release

Choose a tag to compare

@lucinhu lucinhu released this 09 Oct 18:51

首个经过验证的 Linux x86_64 开发套件候选版。完整 DevKit 包含 C/C++ SDK、O3 WASI/wamrc 工具链、打包签名、PXADB 和 SDL 模拟器;开发应用不需要 Host 源码、ESP-IDF 或系统编译器。

支持 Linux x86_64 / glibc 2.35+,生成 simulator、ESP32-S3、ESP32-S31 包。Core 1.0;Host C ABI soversion 0;AOT ABI 精确匹配。SDK/Host 发行号不要求相同,项目以 pxa.lock 固定工具链。

验证:源码 CI 68/68;开发机/隔离无网络只读 Ubuntu 22.04/真实归档搬移各 59 项;独立 SDK+模拟器、实际 Voxel Craft C++、S3/S31 新旧 Host 实机及设备恢复通过。下载 validation.zh-CN.md 与 validation-evidence 查看范围、截图、当次/历史内存和已知限制。

下载完整 pxa-devkit 开始开发;小型 SDK/独立模拟器面向已有配套工具的用户。SHA256SUMS 与各归档 .sha256 随附,未包含私钥或新固件。Windows/macOS/ARM、任意历史组合及完整 opcode 自动兼容推导尚未认证。

源码:system cfb1a73;workspace 160d1f9a36124518a53d2e6c09564231b0f88d04。工作区同版标签与公开递归依赖可用于源码复现。

源代码变更:https://github.com/SmartArduino/pxa-system/pull/1,https://github.com/SmartArduino/pxa-workspace/pull/1