Navigation

19M041OSN2 - Operating systems for embedded computers 2

Course specification
Course title Operating systems for embedded computers 2
Acronym 19M041OSN2
Study programme Electrical Engineering and Computing
Module
Type of study master academic studies
Lecturer (for classes)
Lecturer/Associate (for practice)
    Lecturer/Associate (for OTC)
      ESPB 6.0 Status elective
      Condition
      The goal The aim of the course is to give students insight into procedure of building and using operating systems for embedded systems, with Embedded Linux as example. This course enables students to prepare and build software stack needed for running Embedded Linux on a target development board, as well as build, configure, modify, upgrade and use Embedded Linux.
      The outcome The student acquire knowledge applicable for the development and use of Embedded Linux, as well as development of device drivers and applications.
      Contents
      Contents of lectures ARM Cortex-A architecture, specifics. Bootloader, U-boot and Barebox, configuration and cross-compilation. Linux kernel, source code organization, configuration, cross-compilation and initialization, virtual filesystems, system calls, power management. Root filesystem. Development of distribution. Advanced topics, virtualization, trusted execution, real-time Linux, heterogeneous multicore support.
      Contents of exercises Qemu for emulation of ARM development system. Configuration and cross-compilation of bootloader. Configuration and cross-compilation of Linux kernel. Using Buildroot and Yocto to develop a distribution.
      Literature
      1. Chris Simmonds, Mastering Embedded Linux Programming - second edition, Packt Publishing, 2017 (Original title)
      2. Karim Yaghmour and Jon Masters, Building Embedded Linux Systems: Concepts, Techniques, Tricks, and Traps, O'Reilly Media, 2008 (Original title)
      3. Rudolf J. Streif, Embedded Linux Systems with the Yocto Project, Prentice Hall, 2016 (Original title)
      4. Jonathan Corbet, Alessandro Rubini and Greg Kroah-Hartman, Linux Device Drivers, O'Reilly Media, 2009 (Original title)
      Number of hours per week during the semester/trimester/year
      Lectures Exercises OTC Study and Research Other classes
      3 1
      Methods of teaching Lectures, practical work and mentored individual work on projects.
      Knowledge score (maximum points 100)
      Pre obligations Points Final exam Points
      Activites during lectures Test paper
      Practical lessons Oral examination 30
      Projects
      Colloquia
      Seminars 70