RT info:eu-repo/semantics/article T1 Teaching “Embedded Operating Systems” using Raspberry Pi and Virtual Machines A1 Llanos Ferraris, Diego Rafael K1 Informática K1 1203 Ciencia de Los Ordenadores K1 3304 AB Embedded systems design, implementation and programming is an important topic in many curricula of Computer Science and Computer Engineering. This paper describes the structure 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. PB Universidad de Granada SN 2173-8688 YR 2014 FD 2014 LK https://uvadoc.uva.es/handle/10324/70855 UL https://uvadoc.uva.es/handle/10324/70855 LA eng NO Enseñanza y Aprendizaje de Ingeniería de Computadores, num. 4, 2014, Universidad de Granada, pp. 25-32 NO Innovación Educativa DS UVaDOC RD 26-dic-2024