Abbiamo appena scoperto questo !!!
http://www.s1mp3.org/wiki/index.php/S1SDK
Si tratta di una delle tante versioni modificate di Z88DK, in questo caso orientata a una piattaforma "standard" per i lettori di MP3 tascabili.
La cosa che mi scoccia un po' è che non vedo "credits" ...grrr