On this page
Pico_sdk
You are allowed to use the pico-sdk library but it is advised not to because the rm_pico_dev library handles most of the states and ports in the sdk so messing with the sdk may have consequences. Only use the sdk if you absolutly must.