• K. C. WangEmail author


This chapter provides a general introduction to this book. It covers the book objectives, intended audience, unique features, contents and use of the book in embedded and operating systems courses.


  1. ARM Architectures 2016: http://www.arm.products/processors/instruction-set-architectures, ARM Information Center, 2016
  2. ARM Cortex-A9 MPCore: Technical Reference Manual Revision: r4p1, ARM information Center, 2012Google Scholar
  3. ARM GIC: ARM Generic Interrupt Controller (PL390) Technical Reference Manual, ARM Information Center, 2013Google Scholar
  4. ARM MMU: ARM926EJ-S, ARM946E-S Technical Reference Manuals, ARM Information Center, 2008Google Scholar
  5. ARM Programming 2016: “ARM Assembly Language Programming”,, 2016
  6. ARM PL190 2004: PrimeCell Vectored Interrupt Controller (PL190),, 2004
  7. ARM toolchain 2016:, 2016
  8. ARM11 2008: ARM11 MPcore Processor Technical Reference Manual, r2p0, ARM Information Center, 2008Google Scholar
  9. ARM926EJ-S 2008: “ARM926EJ-S Technical Reference Manual”, ARM Information Center, 2008Google Scholar
  10. Dietrich, S., Walker, D., 2015 “The evolution of Real-Time Linux”,, 2015
  11. Gajski, DD, Vahid, F, Narayan, S, Gong, J, 1994 “Specification and design of embedded systems”, PTR Prentice Hall, 1994Google Scholar
  12. Intel: MultiProcessor Specification, v1.4, Intel, 1997Google Scholar
  13. Katz, R. H. and G. Borriello 2005, “Contemporary Logic Design”, 2nd Edition, Pearson, 2005.Google Scholar
  14. Nesting Interrupts 2011: Nesting Interrupts, ARM Information Center, 2011Google Scholar
  15. QEMU Emulators 2010: “QEMU Emulator User Documentation”,, 2010.
  16. SDC: Secure Digital cards: SD Standard Overview-SD Association, 2016
  17. Silberschatz, A., P.A. Galvin, P.A., Gagne, G, “Operating system concepts, 8th Edition”, John Wiley & Sons, Inc. 2009Google Scholar
  18. Stallings, W. “Operating Systems: Internals and Design Principles (7th Edition)”, Prentice Hall, 2011Google Scholar
  19. Tanenbaum, A.S., Woodhull, A.S., 2006 “Operating Systems, Design and Implementation, third Edition”, Prentice Hall, 2006Google Scholar
  20. Wang, K.C., 2015 “Design and Implementation of the MTX Operating Systems, Springer International Publishing AG, 2015Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Electrical Engineering and Computer ScienceWashington State UniversityPullmanUSA

Personalised recommendations