^ "Windows Vista Display Driver Model" . MSDN Library . http://msdn.microsoft.com/en-us/library/aa480220.aspx .   ^ "Kernel Enhancements for Windows Vista and Windows Server 2008" ( DOC ). Microsoft . May 2006 . http://download.microsoft.com/download/9/c/5/9c5b2167-8017-4bae-9fde-d599bac8184a/kernel-en.doc . Retrieved April 2, 2011 .   ^ Protected Mode IE has been described in detail at the