Once you want to use it to compile and run applications, you first need to setup the SDK by sourcing the following file which is inside the installation folder:
$ source pkg/sdk/dev/sourceme.sh
$ source pkg/sdk/dev/configs/pulpissimo.sh
$ source pkg/sdk/dev/configs/platform-rtl.sh