I'm clearing out some extra AVR and AR32 stuff. Everything is functional.
The JTAG-ICE MKII looks to have never been used, but I'm not positive. I have a second JTAG-ICE MKII (not pictured) that does not have a box or the additional accessories but is in otherwise great condition.
Raven looks brand new as well, but I'm not sure of that. (note that the USB dongle is not pictured but it IS included)
STK1000 has been used and only comes with what you see (and a wall wart power supply)
ATSTK526: (to be clear - this is an AT90USB162 dev board) this appears to have been used but is in perfectly fine condition
JTAG-ICE MKII (with box): $100 + Shipping
JTAG-ICE MKII (without box and extra accessories): $90 + shipping
Raven: $15 + shipping
STK1000: $75 + shipping
ATSTK526: $50 + shipping
Everything is 100% functional, of course. I'm in Seattle, WA. Zip code 98122. Local pickup is available. I'll give discounts if you buy multiple things. I'm mostly looking for cash right now, but I will consider test equipment or tools for trades. Finally, if you think any of my asking prices are unreasonable please let me know via PM what you think would be fair.
Edit: MSP430 boards and STK500 are sold!