====== Suggested Readings ======

  *     A. Silberschatz, P.B. Galvin, G. Gagne, “Operating System Concepts,” 9th Edition, Wiley, 2013.
  *  D. P. Bovet and M. Cesati, “Understanding the Linux Kernel,” 3rd Edition, O’Reilly, 2006.
  *  R. Love, “Linux Kernel Development,” Addison-Wesley Professional, 3rd Edition, 2010.
  *  J. Corbet, A. Rubini & Greg Kroah-Hartman, “Linux Device Drivers,” 3rd Edition, O’ Reilly, 2005.
  *  R. Love, “Linux System Programming,” O’ Reilly, 2007.
  *  C. Hallinan, “Embedded Linux Primer,” Prentice-Hall, 2007.
  *  Jean J. Labrosse, “MicroC/OS-II – The Real-Time Kernel,” Second Edition, CMPBooks, 2002.