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	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]

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