HAL support