I think most/all cores can be made to run at 15KHz (200p, 240p) by dropping a text/ini file with a simple line of code in the root of the core’s SD card. I tried this with a couple myself and it works. Some have this functionality built in to switch from 15 to 31KHz (400p/480p).