Well, according to my memory, there are actually three driver links on your Windows instruction page. Two of them download with an installer inside them and the third one does not (so I did not know what to do with those). Also, unless I just missed some important instructions, the installation procedure given at TI is the typical Windows wizard-invoked method. All I know is, I had to go that route before I could get the TIVA to work.