TL;DR
PicoSound is a dual-core audio engine designed specifically for the Raspberry Pi Pico, which uses the RP2040 microcontroller. The setup leverages the dual-core architecture by assigning Core1 exclusively to handle audio processing, while Core0 manages the main application tasks like graphics, input/output, calculations, or game logic. This separation helps prevent audio dropouts that can occur during heavy processing or blocking operations, ensuring continuous audio playback.