Fixes for HAL
Expand the README