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.
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 |