get the launcher from https://github.com/LNH-team/pico-launcher/releases
decompress the files to the root of your SD card
rename `LAUNCHER.nds` to `_picoboot.nds`
get the DSPICO version from https://github.com/LNH-team/pico-loader/releases
decompress the contained files to your SD card to...