Reading exercise 
-------------------------
- Read papers [Meltdown] and [kaiser]
- Read the kernel page table isolation design documentation (can be found in kernel source @Documentation/x86/pti.txt)