{ pkgs, config, ... }: {
    # embedded board development
    environment.systemPackages = with pkgs; [
        platformio-core # toolchain manager for various microcontrollers
        openocd         # on-chip programming and debugging support
        avrdude         # esp32 and others support
    ];
}