嘿，针对你的需求——给Lego EV3找个支持armel的现代发行版替代EOL的Debian Stretch，我整理了几个靠谱的选项：

• Armbian Legacy分支：Armbian专门维护了针对老旧嵌入式架构的Legacy版本，其中明确支持armel（armv5软浮点）。它基于Debian或Ubuntu的稳定分支做了硬件优化，对EV3这类设备的兼容性很好，而且社区里能找到不少适配ev3dev的配置指南，甚至有现成的定制镜像可以直接刷用，开箱即用的体验拉满。
• Gentoo Linux：作为源码编译发行版，Gentoo原生支持armel架构（只需要在编译时指定armv5tel目标即可）。虽然需要手动编译系统，但灵活性超高，你可以根据EV3的硬件特性精准裁剪系统组件，完美适配ev3dev的运行需求。唯一的小缺点是上手门槛略高，需要花点时间折腾编译配置，但折腾完后系统的贴合度绝对一流。
• OpenWrt嵌入式发行版：OpenWrt的部分分支依然支持armel架构，它本身就是为资源有限的嵌入式设备设计的，体积小巧、资源占用极低，非常适合EV3。你可以通过opkg包管理器轻松安装ev3dev所需的组件，而且OpenWrt的社区文档很完善，适配过程不会太坎坷。

另外提一句，ev3dev项目本身也在跟进这个问题，他们的官方仓库里有基于上述发行版的定制镜像，你可以直接拿来用，省去自己从头搭建环境的麻烦。

总结下来：追求省心选Armbian Legacy，追求极致定制选Gentoo，偏好轻量嵌入式系统选OpenWrt。

备注：内容来源于stack exchange，提问作者KJ7LNW