The /boards directory contains the physical hardware platforms
that Tock supports.
| Board | Architecture | MCU | Interface | App deployment |
|---|---|---|---|---|
| Hail | ARM Cortex-M4 | SAM4LC8BA | Bootloader | tockloader |
| Imix | ARM Cortex-M4 | SAM4LC8CA | Bootloader | tockloader |
| Nordic nRF52-DK | ARM Cortex-M4 | nRF52832 | jLink | tockloader |
| Nordic nRF52840-DK | ARM Cortex-M4 | nRF52840 | jLink | tockloader |
| ACD52832 | ARM Cortex-M4 | nRF52832 | jLink | tockloader |
| TI LAUNCHXL-CC26x2 | ARM Cortex-M4 | CC2652R | openocd | tockloader |
| ST Nucleo F446RE | ARM Cortex-M4 | STM32F446 | openocd | custom |
| ST Nucleo F429ZI | ARM Cortex-M4 | STM32F429 | openocd | custom |
| SiFive HiFive1 | RISC-V | FE310-G000 | openocd | not supported |
| Digilent Arty A-7 100T | RISC-V RV32IMAC | SiFive E21 | openocd | tockloader |