19M044OSN1 - Selected topics in operating systems for embedded computers

Course specification
Course title Selected topics in operating systems for embedded computers
Acronym 19M044OSN1
Study programme Electrical Engineering and Computing
Type of study master academic studies
Lecturer (for classes)
Lecturer/Associate (for practice)
Lecturer/Associate (for OTC)
ESPB 6.0 Status elective
The goal The aim of the course is to give students insight into using operating systems for embedded computers, with Embedded Linux as example. This course enables students to prepare and build Embedded Linux on a target development board, as well as build, configure and use Embedded Linux, device drivers for hardware interaction and applications for user interaction.
The outcome The student acquire knowledge applicable for the development and use of device drivers and applications for embedded Linux.
Contents of lectures Introduction to Embedded operating systems and Embedded Linux, hardware specifics of modern SoC-s on which Embedded Linux is run. Bootloader, Linux kernel, Root filesystem. Linux device drivers, structure, organization and application. Driver class. Kernel modules and integration into kernel, user space drivers. Linux applications, communication with device drivers and Linux kernel.
Contents of exercises Tools: git, Make, gcc, gdb, grep, find. Qemu for emulation of ARM development system. Configuration and cross-compilation of bootloader and Linux kernel. Development and debugging of Linux device drivers for different driver classes. Development and debugging of applications.
  1. Jonathan Corbet, Alessandro Rubini and Greg Kroah-Hartman, Linux Device Drivers, O'Reilly Media, 2009 (Original title)
  2. John Madieu, Linux Device Drivers Develompent, Packt Publishing, 2017 (Original title)
  3. Chris Simmonds, Mastering Embedded Linux Programming - second edition, Packt Publishing, 2017 (Original title)
  4. Karim Yaghmour and Jon Masters, Building Embedded Linux Systems: Concepts, Techniques, Tricks, and Traps, O'Reilly Media, 2008 (Original title)
  5. Rudolf J. Streif, Embedded Linux Systems with the Yocto Project, Prentice Hall, 2016 (Original title)
Number of hours per week during the semester/trimester/year
Lectures Exercises OTC Study and Research Other classes
3 1 1
Methods of teaching Lectures and consulting
Knowledge score (maximum points 100)
Pre obligations Points Final exam Points
Activites during lectures Test paper
Practical lessons Oral examination 30
Seminars 70