Updates HAL