Note:
Le date e gli argomenti delle lezioni sono indicative.
I lucidi di ogni lezione sono disponibili in tre versioni: "p1" = 1 lucido per foglio, "p2" = 2 lucidi per foglio, "p4"= 4 lucidi per foglio
Qualora non indicato diversamente, i riferimenti sono relativi al libro di testo: J. W. S. Liu, Real-time Systems, Prentice Hall, 2000.
La sigla LDD3 si riferisce a Linux Device Drivers, 3rd ed., by J. Corbet, A. Rubini, G. Kroah-Hartman, O'Reilly Media, 2005.
I riferimenti tra parentesi tonde indicano lettura consigliate su argomenti non in programma. Esempi:
C2: intero Capitolo 2
§ 2.3: intera sezione 3 del Capitolo 2
¶ 2.3.2: intero paragrafo 2 della sezione 2.3
28–30: da pagina 28 a pagina 30
C5 [-¶ 5.5.2, -§ 5.8]: intero Capitolo 5 tranne paragrafo 5.5.2 e sezione 5.8
Sigle dei docenti e tutor:
MC: Marco Cesati