README.md

Platforms Supported by Tock

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
SparkFun RedBoard Red-V	RISC-V	FE310-G002	openocd	tockloader	Yes (5.1)
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
OpenTitan Earlgrey on CW310	RISC-V RV32IMC	EarlGrey	custom	custom	Yes (5.1)
LiteX on Digilent Arty A-7	RISC-V RV32IMC	LiteX+VexRiscV	custom	tockloader (flash-file)1	No
Verilated LiteX Simulation	RISC-V RV32IMC	LiteX+VexRiscv	custom	tockloader (flash-file)1	No
ESP32-C3-DevKitM-1	RISC-V-ish RV32I	ESP32-C3	custom	custom	No
QEMU RISC-V 32 bit virt platform	RISC-V RV32IMAC	QEMU	custom	custom	Yes (duh)

Out of Tree Boards

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

Footnotes

1. Tockloader is not able to interact with this board directly, but can be used to work on a flash-image of the board, which can in turn be flashed onto / read from the board. For more specific information, visit the board's README. ↩ ↩²