NES Emulator with SD card and menu support for the Raspberry PI Pico and other RP2040 based microcontrollers. Play your games from SD card on a HDMI display.
Why do you think that https://github.com/GrgoMariani/Raspberry-Pico-Pocket-Gamer is a good alternative to pico-infonesPlus