Updating DAPLink on Particle Debugger

The copy for the particle debugger mentions that it uses Arm’s DAPLink firmware. This is great!

However, I’m unable to find specifics:

  1. Which firmware does it use? Arm ships a whole mess of .bin files and I don’t know which to use.
  2. What’s the update procedure once the correct firmware is located? Double-tap the power button and drag-and-drop?

Thanks a bunch!