PID mit ca. 100-130kS/s - welcher Controller?

Hallo allerseits,

nachdem ich nun einige Jahre mit 8051s und AVRs herumgespielt habe,
muss mal wieder etwas neues her. Mittlerweile hat sich auch ein kleines
Projekt gefunden, bei dem ein AVR etwas ueberfordert sein duerfte:

Wie das Topic schon verraet, moechte ich einen PID-Regler basteln,
wobei 100-130k Mal je Sekunde abgetastet und ausgegeben werden soll.
Das ganze mit 12 Bit ADCs/DAC.

Meine Frage ist nun, welche Art von Controller am besten zu verwenden
ist. D.h. wird ein ARM ausreichen, oder gehen die Anforderungen doch
schon eher in Richtung DSP?

Mich wuerden auch konkrete Typen interessieren, zumal mir beim ersten
Informieren heute auffiel, dass das groesste Problem anscheinend die
Entwicklungsumgebung darstellt. Eine freie Umgebung ist absolutes Muss,
da das ganze auch nicht uebermaessig teuer werden soll. Fuer die ARMe
sollte sich da etwas finden lassen (Philips, Atmel), aber bei DSPs
schauts offenbar recht trueb aus.

Freue mich auf Vorschlaege.

Beste Gruesse,
André