Use an Odroid Go Advance as an auxiliary keyboard for media control (via USB HID gadget)
gcc for ESP32 on NixOS