HAL update