Course Notes

• LICENSE
  
• How to compile the kernel and make a boot floppy disk
  
• How to boot from disk
  
• How to add new configuration flags
  
• How to make a patch
  
• How to modify the sysctl() system call
  
• How to make a brand new system call
  
• How to make a new simple proc file
  
• How to make a brand new system call module
  
• How to make a new proc file module
  
• Kernel debugging, part 1 (lecture patch)
• Kernel debugging, part 2 (lecture patch)
• Kernel debugging, part 3
• An introduction to I/O drivers
• The lp_led I/O driver
• The lp_led circuit
• Transforming the lp_led I/O driver into a module
• Making a module interrupt-driven I/O driver
• The lp_sensor circuit (data sheet)
• Driving a sound card (C source code file)
• Input management in GNU/Linux [This material is in an "Opaque" format and as such it is not covered by the License, please contact the author (Alessandro Rubini) for any license issue]
• The scheduling algorithm [pdf] [tex]

Please, send comments on the course notes to lkh@bravo.ce.uniroma2.it