GitHub repository: 98416/Lean-x86_64
Primary language: Shell
Description: 基于Lean源码自动构建超极简x86固件。同步更新Lean源码。