GitHub repository: lucagouty/platform-raspberrypi
Description: Raspberry Pi: development platform for PlatformIO