bundletype OSEnvRTC_T =

{ include "${BUILDDIR}/oskit/machine/pc/dev.h" oskit_rtc_get oskit_rtc_set }

C types:

oskit_error_t oskit_rtc_get(struct oskit_timespec *rtctime);
void oskit_rtc_set(struct oskit_timespec *rtctime);