BC	Bovet, Daniel Pierre. Understanding the Linux Kernel / Daniel P. Bovet and Marco Cesati . - 3rd ed. Sebastopol [California] : O'Reilly, 2005
BC	Burns, Alan. Real-time systems and their programming languages / Alan Burns, Andy Wellings . - 2nd ed., repr. Harlow : Addison-Wesley, 1997
BC	Corbet, Jonathan. Linux device drivers / Jonathan Corbet, Alessandro Rubini, and Greg Kroah-Hartman . - 3rd ed. Beijing ; Sebastopol, CA : O’Reilly, 2005
BC	Love, Robert . Linux Kernel Development / Robert Love. 3rd Ed. Addison Wesley, 2010
BC	Pettazzoni, Thomas. Device Tree for Dummies / Thomas Pettazzoni
BC	Sloss, Andrew. ARM system developer's guide : designing and optimizing system software / Andrew Sloss, Dominic Symes, Chris Wright ; with a contribution by John Rayfield San Francisco, CA : Elsevier/ Morgan Kaufman, cop. 2004
BC	Venkateswaran, Sreekrishnan . Essential Linux Device Drivers / S. Venkateswaran . - 1st ed. Prentice Hall, 2008
BC	Yaghmour, Karim. Building embedded Linux systems / Karim, Yaghmour Beijing : O'Reilly, 2003

LISTADO DE URLs:
	ARM Architecture Reference Manuals [http://www.arm.com/ ]
	Linux Kernel [http://www.kernel.org ]
	Pettazzoni “Device Tree for Dummies”. Vídeo [https://youtu.be/m_NyYEBxfn8 ]
	TI SYS/BIOS kernel [http://www.ti.com/tool/sysbios ]
	Transparencias (apuntes) de la asignatura. Hojas de problemas y Guiones de prácticas. [http://moodle.unizar.es ]