pub const MYNEWT_VAL_OS_TICKS_PER_SEC: u32 = 128;