GitHub repository: tock/tock-bootloader
Primary language: C
Description: Software bootloader for boards running Tock.