duppel : retrofitting commodity operating systems to mitigate cache side channels in the cloud .
Understanding the Linux Kernel