Platforms Supported by Tock The /boards directory contains the physical hardware platforms that Tock supports.