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