Formations
Embedded Linux
- Device driver development -Lectures (6h) | Labs (15h) | Tutorials |
Ch1 - Introduction to Linux | Lab1 - Kernel development | Linux Dual CortexA9/ZedBoard - Kernel compilation / driver development |
Ch2 - Linux kernel overview | Lab2 - Character driver | Android OMAP3530 beagleboard - Compilation / installation |
Ch3 - Linux for Embedded Systems | Lab3 - IOCTL driver | Ubuntu OMAP3530 beagleboard - Compilation / installation |
Ch4 - Embedded Linux distributions | Lab4 - Linux Framebuffer | Linux PowerPC440/ML507 - Application and kernel development |
Ch5 - Case study: Xilinx PowerPC Linux | Lab5 - Introduction to OpenCL | Linux PowerPC405/ML310 - Compilation / installation |
Ch5 bis - Case study: Xilinx Zynq-7000 Linux | ||
Ch6 - Device driver development |
Requirements for Embedded Linux Labs
- Xilinx ZedBoard/Linux project
- linuxzynq_vivado_proj.zip - Vivado 2022.2 project
- SD_card.zip - Boot files for SD card
- Device driver development
- Documentation
- Performance Monitor Control Register - ARM documentation
- gpio.pdf - GPIO datasheet
Lab preview: Video processing on Exynos 5422 Cortex-A15 2Ghz and Cortex-A7 Octa core

Online references
- Linux Kernel Teaching - University POLITEHNICA of Bucharest
- The Linux Kernel - David A. Ruslin
- Linux Performance and Tuning Guidelines - Eduardo Ciliendo, Takechika Kunimasa & Byron Braswell, IBM Corp.
- Linux Device Drivers, 3rd Edition - Jonathan Corbet, Alessandro Rubini & Greg Kroah-Hartman
- The Linux Kernel Module Programming Guide - Peter Jay Salzman, Michael Burian & Ori Pomerantz
- LINUX System Programming - Robert Love
- Programming Guide for Linux USB Device Drivers - Detlef Fliegl
- Programmation noyau sous Linux Partie 1 : API des modules Linux - GNU/Linux Magazine
- Pilotes de périphériques orientés caractères pour Linux 2.6 - GNU/Linux Magazine
- Programmation noyau sous Linux Pilotes en mode caractère - GNU/Linux Magazine
- SOS Simple Operating System - David Decotigny & Thomas Petazzoni
- Advanced Linux Programming FR Mark Mitchell, Jeffrey Oldham & Alex Samuel (traduction)
- Building Embedded Linux Systems - Karim Yaghmour
- Building Linux on ML40X boards - Carsten Siggaard
- Writing device drivers in Linux: A brief tutorial - Xavier Calbet
- The DENX U-Boot and Linux Guide for canyonlands - DENX software engineering
- Video Demystified, A Handbook for the Digital Engineer, Third Edition - Keith Jack