{
  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
        ];
        platform = system: platforms.armv7l-hf-multiplatform;
        system = "x86_64-linux";
        crossSystem.system = "armv7l-linux";
        inherit (not-os.inputs) nixpkgs;
      });
    in {
      zynq_image = eval.config.system.build.zynq_image;
    };
  };
}