added HAL spec link