Add links to HAL spec