asonix/sd-images
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Fix build

Browse source
This commit is contained in:
asonix 2023-04-21 12:37:15 -05:00
parent 9cbf4ec08b
commit 5f952fcd66
1 changed files with 23 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

45
flake.nix
View file

@ -66,65 +66,66 @@
};
});
pkgs = import nixpkgs {
system = "aarch64-linux";
pkgs = system: import nixpkgs {
inherit system;
crossSystem.system = "aarch64-linux";
config.allowUnfree = true;
};
boards = [
boards = system: with rockchip.packages.${system}; [
{
board = "Quartz64A";
uBoot = rockchip.uBoot.uBootQuartz64A;
uBoot = uBootQuartz64A;
fdt = "rockchip/rk3566-quartz64-a.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
{
board = "Quartz64B";
uBoot = rockchip.uBoot.uBootQuartz64B;
uBoot = uBootQuartz64B;
fdt = "rockchip/rk3566-quartz64-b.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
{
board = "SoQuartzBlade";
uBoot = rockchip.uBoot.uBootSoQuartzBlade;
uBoot = uBootSoQuartzBlade;
fdt = "rockchip/rk3566-soquartz-blade.dtb";
kernel = rockchip.kernel.linux_6_2_rockchip;
kernel = (rockchip.kernel system).linux_6_2_rockchip;
}
{
board = "SoQuartzCM4IO";
uBoot = rockchip.uBoot.uBootSoQuartzCM4IO;
uBoot = uBootSoQuartzCM4IO;
fdt = "rockchip/rk3566-soquartz-cm4.dtb";
kernel = rockchip.kernel.linux_6_2_rockchip;
kernel = (rockchip.kernel system).linux_6_2_rockchip;
}
{
board = "SoQuartzModelA";
uBoot = rockchip.uBoot.uBootSoQuartzModelA;
uBoot = uBootSoQuartzModelA;
fdt = "rockchip/rk3566-soquartz-model-a.dtb";
kernel = rockchip.kernel.linux_6_2_rockchip;
kernel = (rockchip.kernel system).linux_6_2_rockchip;
}
{
board = "Rock64";
uBoot = pkgs.ubootRock64;
uBoot = (pkgs system).ubootRock64;
fdt = "rockchip/rk3328-rock64.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
{
board = "RockPro64";
uBoot = pkgs.ubootRockPro64;
uBoot = (pkgs system).ubootRockPro64;
fdt = "rockchip/rk3399-rockpro64.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
{
board = "RockPro64v2";
uBoot = pkgs.ubootRockPro64;
uBoot = (pkgs system).ubootRockPro64;
fdt = "rockchip/rk3399-rockpro64-v2.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
{
board = "PinebookPro";
uBoot = pkgs.ubootPinebookPro;
uBoot = (pkgs system).ubootPinebookPro;
fdt = "rockchipo/rk3399-pinebook-pro.dtb";
kernel = rockchip.kernel.linux_6_2;
kernel = (pkgs system).linuxPackages_6_2;
}
];
in
@ -139,6 +140,6 @@
};
})
{ }
boards;
(boards system);
});
}