E

esp-idf-nix

gcc for ESP32 on NixOS