D’après la doc , le DSP est un Blackfin 537.
D’après wikipedia :
http://en.wikipedia.org/wiki/Blackfin , on trouve dans ce DSP un mircoprocesseur 32 bit.
Un linux (µcLinux pour être précis) qui tourne sur ce processeur.
On peut donc supposer que la stack UPnP soit celle de Intel(donc du logiciel) qui est généralement celle que l'on trouve sous Linux.
Olivier