more HAL docs