Updated HAL readme