1.1 --- a/pkg/landfall-examples/hw_info/common.h	Thu Nov 16 17:48:32 2023 +0100
     1.2 +++ b/pkg/landfall-examples/hw_info/common.h	Thu Nov 16 22:03:51 2023 +0100
     1.3 @@ -173,6 +173,10 @@
     1.4  
     1.5  void rtc_enable(void *rtc);
     1.6  
     1.7 +void rtc_alarm_disable(void *rtc);
     1.8 +
     1.9 +void rtc_alarm_enable(void *rtc);
    1.10 +
    1.11  uint32_t rtc_get_seconds(void *rtc);
    1.12  
    1.13  void rtc_set_seconds(void *rtc, uint32_t seconds);