Hi, part of the ticket includes renaming os_tick_idle() and os_tick_init() -> hal_os_tick_idle() and hal_os_tick_init(), respectively.
This is a name change in the API, but this contract is between kernel/os and respective hw/mcu/* implementations. Therefore, I was going to do this change without maintaining old name. I assume everyone is ok with this.
