GitHub repository: raspberrypi/usbboot
Primary language: C
Description: Raspberry Pi USB booting code, moved from tools repository