https://www.tockos.org/hardware/ shows the full Table of Contents, but the page content is cut off after the "imix" section, and the links to e.g. the stm32-discovery lead nowhere, despite clearly being in the source file: https://github.com/tock/tock-www/blob/master/_pages/hardware.md