Adding HAL support to the IWC API