The /boards
directory contains the physical hardware platforms
that Tock supports.
Board | Architecture | MCU | Interface | App deployment | QEMU Support? |
---|---|---|---|---|---|
Hail | ARM Cortex-M4 | SAM4LC8BA | Bootloader | tockloader | No |
Imix | ARM Cortex-M4 | SAM4LC8CA | Bootloader | tockloader | No |
Nordic nRF52-DK | ARM Cortex-M4 | nRF52832 | jLink | tockloader | No |
Nordic nRF52840-DK | ARM Cortex-M4 | nRF52840 | jLink | tockloader | No |
Nordic nRF52840-Dongle | ARM Cortex-M4 | nRF52840 | jLink | tockloader | No |
ACD52832 | ARM Cortex-M4 | nRF52832 | jLink | tockloader | No |
Nano 33 BLE | ARM Cortex-M4 | nRF52840 | Bootloader | tockloader | No |
Nano RP2040 Connect | ARM Cortex-M0+ | RP2040 | custom | custom | No |
Clue nRF52840 | ARM Cortex-M4 | nRF52840 | Bootloader | tockloader | No |
BBC Micro:bit v2 | ARM Cortex-M4 | nRF52833 | openocd | tockloader | No |
ST Nucleo F446RE | ARM Cortex-M4 | STM32F446 | openocd | custom | #1827 |
ST Nucleo F429ZI | ARM Cortex-M4 | STM32F429 | openocd | custom | #1827 |
STM32F3Discovery kit | ARM Cortex-M4 | STM32F303VCT6 | openocd | custom | #1827 |
STM32F412G Discovery kit | ARM Cortex-M4 | STM32F412G | openocd | custom | #1827 |
WeAct F401CCU6 Core Board | ARM Cortex-M4 | STM32F401CCU6 | openocd | custom | No |
SparkFun RedBoard Artemis Nano | ARM Cortex-M4 | Apollo3 | custom | custom | No |
i.MX RT 1052 Evaluation Kit | ARM Cortex-M7 | i.MX RT 1052 | custom | custom | No |
Teensy 4.0 | ARM Cortex-M7 | i.MX RT 1062 | custom | custom | No |
Pico Explorer Base | ARM Cortex-M0+ | RP2040 | openocd | openocd | No |
Raspberry Pi Pico | ARM Cortex-M0+ | RP2040 | openocd | openocd | No |
SiFive HiFive1 Rev B | RISC-V | FE310-G002 | openocd | tockloader | Yes (5.1) |
Digilent Arty A-7 100T | RISC-V RV32IMAC | SiFive E21 | openocd | tockloader | No |
Earlgrey on Nexys Video | RISC-V RV32IMC | EarlGrey | custom | custom | Yes (5.1) |
LiteX on Digilent Arty A-7 | RISC-V RV32I | LiteX+VexRiscV | custom | custom | No |
Verilated LiteX Simulation | RISC-V RV32I | LiteX+VexRiscv | custom | custom | No |
ESP32-C3-DevKitM-1 | RISC-V-ish RV32I | ESP32-C3 | custom | custom | No |
Some projects that use Tock maintain their own board definitions outside the Tock repository.
Project | Boards | Architecture | MCU | Build System |
---|---|---|---|---|
OpenSK | nRF52840-DK, nRF52840-Dongle, nRF52840-MDK | ARM Cortex-M4 | nRF52840 | Python script |
OpenTitan | OpenTitan | RISC-V RV32IMC | EarlGrey | Meson |
Tock-on-Titan | golf2, papa | ARM Cortex-M3 | H1 | Makefiles |