This device repository supports HAL of opensource platforms