add a note about HAL