hal infrastructure