GitHub repository: xingyu2016/lede
Primary language: C
Created: 2022-02-06T01:09:43Z
Description: Lean's lede source