board · verified

arche/raspberry-pi-pico

Raspberry Pi Pico

RP2040 board: two 133 MHz Cortex-M0+ cores, 264 KB SRAM, 2 MB flash, 26 GPIOs. No CAN controller: CAN goes through an MCP2515 on SPI0 (a common add-on board).

boardraspberry

archec add main.arche arche/raspberry-pi-pico@^0.1

Package

Kindboard
Version0.1.0
LicenseApache-2.0
Export controlnone
Works witharchec >=0.10
Edition0.12
Targetsembassy (rp)
Homehttps://github.com/arche-lang/arche-lang

Model

BoardsRaspberryPiPico

Code it brings

No code: this package is model only.

Versions

VersionPublishedarchecState
0.1.02026-11-12>=0.10public

Signature

Signed by arche with key e660d0a8851875b9. Files: 2, fingerprint sha256-93b143275ecc9224cc48…. archec add checks both before it writes anything.

Discussion

Loading…