Ni idea. Normalmente, en el tutorial que escribí para PokeCommunity y que jamas traje hasta aquí por pereza yo enseño en base a mi experiencia.
Tras instalar devkitPro Pacman, toca reiniciar WSL para que las variables que dkP Pacman mismo implementa se configuren correctamente.
Haciendo eso, dkP...