ARM, RISC-V контроллеры

Попробуйте в крайнем случае вывести тактовую частоту просто на вывод МСО1 или МСО2 и измерить. Решение конечно кривое, но раз уж Вы так принципиальны :) или можно сравнить содержимое какого-нить регистра конфигурации генератора с нужным Вам числом, которое Вы предположительно в него записали и вывести на светодиод, если уж другой периферии ваще никакой пока нет...Это конечно если Вы принципиально не желаете посмотреть содержимое регистров через отладчик какой...