GitHub repository: tock/tockloader
Primary language: Python
Description: Tool for programming Tock onto hardware boards.