revert hal