We’ll need to switch from the default NDS core to facilitate the use of the mic in some NDS games. Please let me know here - or on X - if you run into a mic related portion of a game and we’ll make the switch.
The downside is that your game saves may not load if they were downloaded from the default core.