MUNI FI Kernel Development Learning Pipeline Course Fall 2024 Information

Course Description

Linux is the most widely used operating system in the world. The core software component of the Linux operating system is the kernel. A couple of its roles include managing hardware interactions, virtualizing system resources, and enforcing security constraints. In effect, Linux kernel powers almost all of the world’s top supercomputers, android phones, and an innumerable variety of other computers. This course will introduce students to Linux kernel development by focusing on device driver development. This will give students hands-on experience working with internal Linux kernel APIs and provide an overview of some of the core features and components of the kernel. Gaining an understanding of the inner workings of the operating system and how to make changes to it will give students an invaluable perspective on how their computers work behind the scenes that will reveal a new layer of understanding to apply to any future software engineering practice.

Lecture Time

Teachers

Lecture Room

Prerequisites

Credits

Language of Instruction

Objectives

Learning Outcomes

Syllabus

Teaching Methods

Assessment Methods

Course Schedule

ID Date Lesson Presenter
1. Sep 23, 2024 Introduction, Development environment setup Izabela, Carlos, Rado, Vratislav
2. Sep 30, 2024 General overview of core kernel concepts Vratislav
3. Oct 7, 2024 PC and the x86 Rado
4. Oct 14, 2024 Process management Rado
5. Oct 21, 2024 Synchronization primitives Carlos
6. Nov 4, 2024 Memory Management Carlos
7. Nov 11, 2024 Storage management Carlos
8. Nov 18, 2024 Networking stack Izabela
9. Nov 25, 2024 Device drivers and Linux Device Model Izabela
10. Dec 2, 2024 Kernel Debugging 1 Vratislav
11. Dec 9, 2024 Kernel Debugging 2 Vratislav
12. Dec 16, 2024 GPG signing party! Izabela, Carlos, Rado, Vratislav