GitHub repository: yulingyechina/R4S-OpenWrt-Lean
Description: 基于 Lean 源码的 NanoPi R4S 的 OpenWrt 固件