Adding HAL documentation