adding hal but not as a submodule