       <td role="gridcell" data-heading="Type">platform</td>
            <td role="gridcell" data-heading="Description">For the Raspberry Pi ARM board.</td>
          </tr>
          <tr role="row">
            <td role="rowheader" data-heading="Name">snapdragon</td>
            <td role="rowheader" data-heading="Type">platform</td>
            <td role="rowheader" data-heading="Description">For the Qualcomm Snapdragon ARM64 board.</td>
          </tr>
          <tr role="row">
            <td role="rowhead