HAL library deployed