GitHub repository: superclassiceth/hal_specification
Description: HAL Specification