Files: /kernel-hacking/locking.html