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 | BOSSA | bossac | 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 |
| SparkFun RedBoard Artemis Nano | ARM Cortex-M4 | Apollo3 | custom | custom | No |
| SiFive HiFive1 | RISC-V | FE310-G000 | openocd | tockloader | [Yes (5.1)][qemu] |
| Digilent Arty A-7 100T | RISC-V RV32IMAC | SiFive E21 | openocd | tockloader | No |
| Nexys Video OpenTitan | RISC-V RV32IMC | EarlGrey | custom | custom | [Yes (5.1)][qemu] |
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 |