Create hal.md