don't assume HAL files end with .hal, as different extensions are used for mmap format and a convention is not established
don't assume HAL files end with .hal, as different extensions are used for mmap format and a convention is not established

glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal,glennhickey/hal