Hola psykhon:
Primeramente gracias por tu contestación tan rápida.
Segundo, como se programan estos mounstrencos, quiero decir, para programar un pic utilizas un compilador para generar el .hex y luego un programador, ¿¿¿pero aquí, como sería???
Por ejemplo los samsung s3c2440, como se programarian. He visto que estos incluyen Linux y Windows CE, pero esto no servirá para programarlo, ¿¿¿o si???. Imaginate que quiero realizar un medidor de tiempo con dicho micro y su timer de 32 bits, como se realizaría esto y que herramientas hay para hacerlo (Compilador, programación del micro(bootloader o programador externo), etc...). No me refiero, ni mucho menos, que pongas el código, sino que herramientas haría falta para realizarlo.
Como ves estoy un poco verde, pero es que no estoy acostumbrado a dicha tecnología.
Muchas gracias.