I am looking for some material (books/sites) related to embedded system programming in C language. Here in the lab we have available three plataforms: one Microchip PIC18f4550, one Freescale HC12 and one ARM (Beagleboard).
We are willing to teach embedded C with the PIC, assembler with Freescale and embedded operational systems with Beagleboard. Each class will be a six month course.
Open to all advices.