Operating Systems II

This lecture is over, and this page is left for reference.

Lectures are given either by Krzysztof Lichota or by Aymeric Vincent, every thursday, room 5470.

1. October, 4th: Bootstrapping of the NetBSD kernel on i386.
2. October, 11th: Linux kernel source code tour.
3. October, 18th: NetBSD kernel source code tour.
4. October, 25th: Safety measures in Linux [PDF].
5. November, 8th: Safety measures, in NetBSD.
6. November, 15th: Virtual machines [HTML] [PDF] sources: amd-pacifica-specification.pdf
7. November, 22nd: Virtual memory management in NetBSD
8. November, 29th: Virtual memory management in Linux
9. December, 6th: The impact of multi-core machines
10. January, 3rd: Multiprocessors and Linux [HTML] [PDF]
11. January, 10th: File systems and the BSD VFS subsystem
12. January, 10th at 6pm: VFS and filesystems in Linux [HTML] [PDF]
13. January, 17th: Block devices and volume management in Linux [HTML] [PDF]