There are several closely related boards from Nordic supported, or previously supported, by Tock. Unfortunately, the Nordic naming scheme is a bit confusing, so two notions get conflated:
nrf52xxx
family of chips, specifically for Tock the nrf52832 and nrf52840, is often referred to as the “nrf52” family of chips.The result is:
This naming matches the products released by Nordic, but users should be careful.
Additionally, the acd52832 board is a platform developed by Aconno that features a nrf52832 chip.
As much is shared across these platforms, Tock includes chip-specific components for these platforms in this crate. The nrf52_components crate contains initialization code shared only by boards that include any chips from the nrf52 family.
Tock 1.3 was the last release with support for the nrf51, a old chip in this family that has a Cortex M0 with no MPU.
Code for the nrf51dk platform is available in the tock archive.