For this we have created a wiki entry to cover all the steps of setting up the PICO Toolchain. Setting up PICO Toolchain & Programming the Device