Tock supports a number of hardware platforms.

Hail

Imix

See the GitHub page.

nRF51-DK

The Nordic nRF Development Kit and its corresponding Tock board.