Re: MYNEWT-490

[will sanfilippo]

Seems fine to me.

> On Jun 12, 2017, at 4:01 PM, marko kiiskila <ma...@runtime.io> wrote:
> 
> 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.