Tock supports a number of hardware platforms.
Hail is a Particle Photon sized development board for Tock. You can learn more on the introducing hail post, or buy one below.
Imix is a “kitchen sink” development board for Tock with a SAM4L MCU, two wireless radios, a hardware random number generator, and a sensor suite. See the GitHub page for more information.
The Nordic nRF Development Kit is Nordic Semiconductor’s development board for the popular Blutooth Low Energy SoC, the NRF51. Both imix and Hail include this chip in addition to the SAM4L.