Where can I install the drivers for the SDP-K1

My mbed studio is simply not working, it won’t compile/debug/build any code at all. Someone suggested re-installing my drivers, I went on this website to instal the driver yet my studio is still not working. What is the proper resource to instal the drivers?