Windows で Visual Studio 2013 を使用してカーネル モード デバイス ドライバー (KMDF) をビルドする場合、32 ビットおよび x64 ビットのビルド オプションがあります。問題は次のとおりです: デバイス ドライバーをターゲット マシンにインストールする場合、32 ビット ビルドは 64 ビット OS で実行されますか、それとも 64 ビット OS で x64 ビルドを取得する必要がありますか?
(x64 ビルドは 32 ビット OS では動作しないと想定していますが、ここでも洞察をいただければ幸いです)。