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/gfoot/picoprom is a good alternative to pico-infonesPlus