HAL updates