Update HAL.cpp