Click Wk1-Exokernel_recitation.pdf link to view the file.