Raspberry Pi: development platform for PlatformIO - View it on GitHub