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 : A tool for inspecting RP2040 binaries and interacting with RP2040 devices. ( https://github.com/raspberrypi/picotool )
Pour rajouter une e-build dans l'arbre de portage :
L'ebuild est alors rajouté dans l'arbre de portage.
Vous pouvez aussi utiliser layman : emerge layman puis layman -a kripton-overlay
Pour Paludis utilisez ce rsync : rsync://gentoo.zugaina.org/kripton-overlay-portage
En cas de problèmes : ycarus(-at-)zugaina.org