Tock supports a growing number of hardware platforms.
We mostly use one of two development platforms—Hail and imix—designed as a common basis for Tock development. If you’re contributing to Tock, it would be useful (though not necessary) to have one of these. They have specific features that make Tock development easier: e.g. a common set of sensors, radios and the ability to measure power consumption easily. Both Hail and imix were design at Universities for our own purposes, but we’re able to make them available with small-run productions funded with grad student rent money. This means they’re not as cheap as they could be. Sorry!
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.
imix will be available in the coming weeks. Sign up below to be notified by e-mail when it is available for purchase or contact Amit if you want one sooner.