これは、Windows 10用のWindows ADKをダウンロードできるページですが、64ビットまたは32ビットのバージョンを選択する方法はありません。
少なくともデフォルトは必要な64ビットかもしれませんが、ダウンロードするとWindowsがC:\Program Files (x86)\
パスを選択するので、これは32ビットバージョンであることを意味します。これがどのアーキテクチャなのかを知る方法は他にありません。
Windows 10 1803用のWindows ADKの64ビットバージョンをダウンロードするにはどうすればよいですか?