add missing HAL