nix-servo/flake.nix
Florian Agbuya a8542697f1 use the linux xilinx fork for the kernel
Signed-off-by: Florian Agbuya <fa@m-labs.ph>
2023-11-13 13:50:16 +08:00

21 lines
559 B
Nix

{
description = "Not-OS port to the Zynq-7000 platform";
inputs.not-os.url = github:cleverca22/not-os;
outputs = { self, not-os }: {
packages.armv7l-linux = let
platforms = (import not-os.inputs.nixpkgs { config = {}; }).platforms;
eval = (import "${not-os}" {
extraModules = [
./zynq_image.nix
];
system = "x86_64-linux";
crossSystem.system = "armv7l-linux";
inherit (not-os.inputs) nixpkgs;
});
in {
zynq_image = eval.config.system.build.zynq_image;
};
};
}