#include <oskit/dev/osenv_rtc.h>
const oskit_iid_t oskit_osenv_rtc_iid = OSKIT_OSENV_RTC_IID;