Teaching “Embedded Operating Systems” using Raspberry Pi and Virtual Machines Llanos, Diego R. Embedded systems Virtual machines Raspberry Pi Embedded systems design, implementation and programming is an important topic in many curricula of Computer Science and Computer Engineering. This paper describes the estructure of a course on Embedded Operating Systems included in the Degree in Computer Science at the University of Valladolid. The course core elements are the use of virtual machines and Raspberry Pi kits. Our experience shows that the topics covered and the project-based methodology lead to excellent results in terms of student progression. 2014-06-10T11:54:09Z 2014-06-10T11:54:09Z 2014-05 info:eu-repo/semantics/article Llanos, D. Teaching "Embedded Operating Systems" using Raspberry Pi and Virtual Machines. Enseñanza y Aprendizaje de Ingeniería de Computadores, 4: 25-32 (2014). [http://hdl.handle.net/10481/32196] 2173-8688 D.L.: GR 899-2011 http://hdl.handle.net/10481/32196 10.30827/Digibug.32196 eng http://creativecommons.org/licenses/by-nc-nd/3.0 info:eu-repo/semantics/openAccess Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License Universidad de Granada. Departamento de Arquitectura y Tecnología de Computadores