GitHub repository: wittra/usbboot
Description: Raspberry Pi USB booting code, moved from tools repository