Ref to HAL specifications