Arduino ISP Driver

AFAIK you just have to select Ardunino ISP from the tools menu, there is no special driver needed.