nix-linux 该存储库包含使用Nixpkgs配置和构建Linux和U-Boot的框架。 它还包括用于构建树外内核模块和各种类型的U-Boot映像的实用程序。 在Nixpkgs中配置和构建Linux的基础设施是一个野兽： 。 该项目提供了一个以简约和控制为重点的替代方案。 讲解 本教程介绍了如何使用修改后的Kconfig和树外模块为Raspberry Pi 4构建Linux。 该示例的完整源代码可以在./examples/rpi4找到。 首先，在项目中包含./overlay.nix