config BR2_PACKAGE_PICO_SDK
	bool "pico-sdk"
	help
	  Raspberry Pi Pico SDK. Provides the headers, libraries
	  and build system necessary to write programs for the
	  RP2040-based devices such as the Raspberry Pi Pico in
	  C, C++ or assembly language.

	  https://github.com/raspberrypi/pico-sdk