pico-sdk : Pico SDK (C/C++) for RP2040-based devices such as the RaspberryPi Pico ( https://github.com/raspberrypi/pico-sdk" EGIT_REPO_URI="${HOMEPAGE} )
picotool : tool for interacting with rp2040 devices and binaries ( https://github.com/raspberrypi/picotool )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a kripton-overlay
For Paludis use this rsync : rsync://gentoo.zugaina.org/kripton-overlay-portage
If you have a problem : ycarus(-at-)zugaina.org