Additional HAL documentation