set_sys_clock_khz not work under 20000 kHz. I try with 19000,12000,10000 with sdk version 1.5.1. The attached source code work without problem with sdk version 1.3.1, but not work with sdk version 1.5.1. What changes between sdk version 1.3.1 and 1.5.1. to make int notwork?
set_sys_clock_rp2040.zip