2023-11-17 17:25:30 +00:00
|
|
|
{ pkgs, config, ... }: {
|
2023-11-17 17:44:30 +00:00
|
|
|
|
|
|
|
services.udev.packages = [ pkgs.platformio ];
|
|
|
|
|
2023-11-17 17:25:30 +00:00
|
|
|
# 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
|
|
|
|
];
|
|
|
|
}
|