pkgs: {
  paths = with pkgs; [
    binutils
    gdb
    gcc
    gcc-arm-embedded
    gnumake
    lldb
    openocd
    qemu
    valgrind
  ];
}