#include "clock_stm32.h"
#include <cfg/compiler.h>
+#include <cfg/module.h>
#include <cfg/debug.h>
#include <io/stm32.h>
/* Initialize the RTC clock */
int rtc_init(void)
{
+#if CONFIG_KERN
+ MOD_CHECK(proc);
+#endif
/* Enable clock for Power interface */
RCC->APB1ENR |= RCC_APB1_PWR;