title: Port 32-Bit Windows driver to 64-Bit Windows
body: <p>Since our applications run in fullscreen mode, we have developed a keyboard hooking driver to disable user input for keys like <code>ALT+F4</code>, <code>CTRL+ALT+DEL</code> and so forth.</p>
  
  <p>The driver is developed in C using the Windows Driver Kit.</p>
  
  <p>Compiling for 32-Bit works and it loads the driver on Windos 7 32-Bit and it works as expected.</p>
  
  <p>Compiling for 64-Bit works and it just doesn't load the driver on Windows 7 64-bit (but is signed and listed in the keyboard drivers).</p>
  
  <p>Following are our <code>SetEnv</code> settings:</p>
  
  <pre><code>setenv c:\WinDDK\7600.16385.1 fre x64
  </code></pre>
  
  <p>Is there anything I'm missing?</p>
  
  <p>Do I need to make specific changes to the code to make it work on 64-Bit?</p>