nixos-config/pkgs/firecracker-vm/kernel.nix

{
  fetchFromGitHub,
  linuxManualConfig,
  linux_6_1,
  kernel ? linux_6_1,
}:

let
  fcsrc = fetchFromGitHub {
    owner = "firecracker-microvm";
    repo = "firecracker";
    rev = "v1.7.0";
    hash = "sha256-NuVH12cy38uu+8oms66p9k0xoMOJSl5AvY5pD1FCKkI=";
  };

  shortVer = builtins.head (builtins.match "([0-9]+\.[0-9]+).*" kernel.version);

in
(linuxManualConfig {

  inherit (kernel) src version;
  configfile = "${fcsrc}/resources/guest_configs/microvm-kernel-ci-x86_64-${shortVer}.config";

}).overrideAttrs
  (o: {

    postInstall =
      (o.postInstall or "")
      + ''
        cp vmlinux $out/
      '';

  })