CS 730: Operating Systems
Resources
Linux kernel source
link