This SDK (Software Development Kit) contains a large collection of libraries and helping function that facilitate writing a more manageable and an easy-to-understand code. The steps to install this SDK are as follows.
$ cd ~/
$ mkdir pico
$ cd pico
$ git clone -b master https://github.com/raspberrypi/pico-sdk.git
$ cd pico-sdk
$ git submodule update --init