Update hal.md