Estimados,
Para los grupos que vayan a usar nodos basados en el SoC CC2538, en la sección "Proyectos" les dejé una guía breve de cómo instalar el software Code Composer Studio, compilar Contiki para dicha plataforma y subirlo al nodo.
No está muy revisado, así que si tienen algún problema pregunten.
Saludos,
Javier