KotoOS v0.3.0-alpha — OpenAI Build Week Preview

Summary

KotoOS v0.3.0-alpha is the OpenAI Build Week preview of the current KotoOS tree.
The public update is intentionally squashed into one commit on top of main.

• adds bounded, OS-brokered HTTPS Fetch for sandboxed apps
• adds MQTT, SNTP, JSON, credential-vault, and Wi-Fi configuration foundations
• validates authenticated HTTPS on RP2040 Pico W and RP2350A Pico 2 W
• keeps RP2040 SRAM safe through TLS-scoped audio exclusion and restores audio afterward
• adds RP2350A app_fetch_https UF2 generation through tools/build-rp2350a.ps1

Downloads

• kotoos-firmware-pico-v0.3.0-alpha.uf2 — Raspberry Pi Pico / RP2040
• kotoos-firmware-picow-v0.3.0-alpha.uf2 — Raspberry Pi Pico W / RP2040 with Wi-Fi and HTTPS Fetch
• kotoos-firmware-pico2-v0.3.0-alpha.uf2 — Raspberry Pi Pico 2 / RP2350A
• kotoos-firmware-pico2w-v0.3.0-alpha.uf2 — Raspberry Pi Pico 2 W / RP2350A with Wi-Fi and HTTPS Fetch
• kotoos-sdcard-v0.3.0-alpha.zip — copy its contents to the root of a FAT32-formatted SD card
• SHA256SUMS.txt — SHA-256 checksums for all firmware and SD-card assets

Use only the UF2 matching the controller installed in the PicoCalc. The Pico
and Pico 2 images are offline product builds; the W images include the
network/TLS product path.

Validation

• cargo fmt --all -- --check
• python harness/check_embedded.py — all six RP2040/RP2350A profiles passed
• all four release UF2 files inspected with picotool for the expected family
• hardware: RP2040 HTTPS Fetch HTTP 200 plus post-network PCM/SLDPCM/game audio
• hardware: RP2350A HTTPS Fetch HTTP 200 plus concurrent audio playback
• host workspace tests: all completed suites passed except the known KotoUI Gallery SKK case below

Known issues

• KOTO-0251: Pico W saved-network forget is broken on hardware
• KOTO-0205: some RP2350A PicoCalc peripheral-parity criteria remain open
• KotoUI Gallery SKK integration currently fails to select the expected 傘 candidate in KotoSim
• network and app APIs may change before stable v0.3.0

KotoOS v0.2.0 — RP2350A support and KotoIDE

KotoOS v0.2 expands the original RP2040 PicoCalc platform with a hardware-validated RP2350A / Pico 2 W target while preserving compatibility with the RP2040 profile.

What's included

• kotoos-firmware-rp2040-v0.2.0.uf2 — product firmware for Raspberry Pi Pico / RP2040 PicoCalc modules
• kotoos-firmware-rp2350a-v0.2.0.uf2 — product firmware for Raspberry Pi Pico 2 W / RP2350A PicoCalc modules
• kotoos-sdcard-v0.2.0.zip — common FAT32 SD card contents with 19 self-contained KPA apps and the CC0 SKK dictionary
• SHA256SUMS.txt — SHA-256 checksums for the firmware and SD card archive

Install

1. Format an SD card as FAT32 and copy the contents of kotoos-sdcard-v0.2.0.zip to its root.
2. Hold BOOTSEL on the Pico or Pico 2 W and copy the matching UF2 onto the mounted drive.
3. Insert the SD card and power on; KotoOS boots into the launcher.

Use only the UF2 matching the controller installed in the PicoCalc.

Highlights

• Hardware-validated RP2350A / Pico 2 W support alongside RP2040
• KotoIDE VS Code extension foundation, app project workflow, and live simulator reload
• Retained tilemaps and streamed full-color KIM1 image galleries
• SLD4 background audio streaming with cooperative SD I/O
• Hardened SD SPI startup with 400 kHz acquisition retries and 25 MHz transfers

License

MIT OR Apache-2.0. Bundled M+ bitmap font data uses its own free license; the SKK dictionary is CC0.

KotoOS v0.1.0 — first public release

First public release of KotoOS, a lightweight Japanese PDA environment and small-app runtime for the ClockworkPi PicoCalc (RP2040), written in Rust.

What's included

• kotoos-firmware-v0.1.0.uf2 — product firmware for the PicoCalc's stock Raspberry Pi Pico (1H) module
• kotoos-sdcard-v0.1.0.zip — SD card contents: launcher apps (KotoBlocks, KotoRun, KotoRogue, KotoSnake, KotoShogi, KotoMines, Sokoban, Memo + samples), bytecode, KotoMML audio, launcher icons, and the CC0 SKK dictionary for the Japanese IME

Install

1. Format an SD card as FAT32 and copy the contents of the zip to its root
2. Hold BOOTSEL on the Pico and copy the UF2 onto the mounted drive
3. Insert the SD card and power on — the KotoOS shell boots into the launcher

Highlights

• Shell/launcher, bytecode app runtime with its own compiler toolchain (the Koto language), retained-mode graphics pipeline, and a dual-core audio service
• SKK-style Japanese IME with an original CC0 dictionary (2,771 readings / 4,982 words)
• Desktop simulator (KotoSim) shares the same core crates — build and run apps without hardware

Hardware notes

• Target: ClockworkPi PicoCalc with the stock Pico 1H (RP2040) module
• RP2350 / Pico 2 is not supported yet
• Build from source: see the README (Rust + thumbv6m-none-eabi + elf2uf2-rs)

License

MIT OR Apache-2.0. Bundled M+ bitmap font data under its own free license; SKK dictionary is CC0.