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]