Type Definition mynewt::kernel::os::os_time_t

type os_time_t = u32;