Adding HAL documentation sources.