Added option to remove HAL