4 ms·
On Formally Verified Microkernels (and on attacking them)
- ableal 16y agothe infamous SMM memory http://en.wikipedia.org/wiki/System_Management_Mode http://en.wikipedia.org/wiki/System_Management_Mode , http://theinvisiblethings.blogspot.com/2009/03/attacking-smm-memory-via-intel-cpu.html http://theinvisiblethings.blogspot.com/2009/03/attacking-smm...