board: native_posix: Fix timer for k_busy_wait()
The timer update was not triggering an immediate update of
the top HW models timer,
which meant a call to k_busy_wait() may have waited for a much
longer time than requested (up to 1 OS tick).
=> Fix it.
Signed-off-by:
Alberto Escolar Piedras <alpi@oticon.com>
Loading
Please sign in to comment