llhsc: A DeviceTree Syntax and Semantic Checker | IEEE Conference Publication | IEEE Xplore