Como material de apoyo adicional a la bibliografía que les mencionó Leo en clase, les recomiendo el libro "MSP430 Microcontroller Basics" de John Davies. El mismo no es de sistemas embebidos en general, sino del microcontrolador MSP430, que es el que vamos a utilizar en el laboratorio del curso.
Les recomiendo leer en el libro los capítulos relacionados a cada laboratorio antes de ir a los mismos.
http://www.hutech.edu.vn/khoacntt/attachments/article/2809/MSP430%20Microcontroller%20Basics.pdf
http://www.scintilla.utwente.nl/~tomj/stage/MSP430%20Microcontroller%20Basics~tqw~_darksiderg.pdf
El microcontrolador que vamos a usar en el laboratorio es el MSP430G2553 que es el que viene en los Launchpad de Texas Instruments. Les vamos a dar uno por grupo, pero si hay alguien interesado en comprarlo para tener el propio, o por el motivo que sea, lo puede hacer en el siguiente link:
http://www.ti.com/ww/en/launchpad/launchpads-msp430-msp-exp430g2.html
Los mismos son muy económicos (9.99 USD) y tienen envío gratuito por FedEx a todo el mundo (llega en aproximadamente una semana).
Saludos,
Javier