Сигнализация RP2040 RTC или аналогичная функция

У меня есть плата rp2040, использующая ядро Earl E. Philhower. Я хотел бы использовать функции rtc точно так же, как упомянутые в sdk. Особенно функция сигнализации, которая имеет решающее значение в моем проекте.

Предположительно из того, что я знаю, у вас есть доступ ко всем функциям в sdk в среде IDE arduino, но когда я опробовал пример в sdk, он не компилировался, говоря, что функции rtc не объявлены

char datetime_buf[256];
char *datetime_str = &datetime_buf[0];

    datetime_t t = {
            .year  = 2020,
            .month = 06,
            .day   = 05,
            .dotw  = 5, // 0-воскресенье, поэтому 5-пятница
            .hour  = 15,
            .min   = 45,
            .sec   = 00
    };
    
void setup() {
    Serial.begin(9600);
    Serial.println("Hello RTC!");

    rtc_init();
    rtc_set_datetime(&t);
}

void loop() {
        rtc_get_datetime(&t);
        
        Serial.println(datetime_str);
        sleep_ms(100);
}

Эрл Э. Филхауэр поставляется с примером скетча времени, но проблема в том, что я не смог найти документацию, если существует функция, подобная сигналу тревоги

/* Простая демонстрация настройки и печати текущего времени */
/* Начальное время должно быть получено от RTC, NTP или пользователя */

/* Выпущено в общественное достояние Эрлом Ф. Филхауэр, III <[email protected]> */

#include <time.h>
#include <sys/time.h>

void setup() {
  Serial.begin(115200);
  delay(5000);
  struct timeval tv;

  tv.tv_sec = 1611198855; // 21 января 2021 3:14:15 утра ...Выпуск RPi Pico;
  tv.tv_usec = 0;
  settimeofday(&tv, nullptr);
}

void loop() {
  time_t now;
  char buff[80];

  time(&now);
  strftime(buff, sizeof(buff), "%c", localtime(&now));
  Serial.println(buff);
  delay(1000);
}