Adding more HAL documentation sources.