update with HAL