Updated HAL files