This is the page where one can download Windows ADK for Windows 10 but there is no way to select the version, 64 bit or 32 bit.
I thought, at least the default might be 64 bit which is what I need but when I download it, windows selects C:\Program Files (x86)\
path which means this is 32 bit version. There is no other way I can tell which architecture is this for.
How can I download 64 bit version of Windows ADK for Windows 10 1803?