I accidentally took a 24V instead of a 5V PSU to power the Discovery 2 device. When I probe use a multimeter to read the voltage between GND and +V I get 0V. Also the waveform generator, when hooked up to a scope, doesn't seem to output anything. Did a toast my Discovery 2?
Note that the polarity was (unfortunately) correct so I suspect there wasn't a diode or anything else that protects the board inside the Discovery 2. The LED in the center is still flashing.