M-Labs
/
nix-servo
3
1
Fork 2
Code Issues Pull Requests Packages Projects Releases Wiki Activity

flake: add u-boot and fsbl

This commit is contained in:
Florian Agbuya 2023-11-24 10:08:12 +08:00
parent abac1cc5b0
commit 03eaa5b0c4
1 changed files with 62 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

77
flake.nix
View File

@ -1,22 +1,69 @@
{ {
description = "Not-OS port to the Zynq-7000 platform"; description = "Not-OS port to the Zynq-7000 platform";
inputs.nixpkgs.url = github:NixOS/nixpkgs/nixos-unstable;
inputs.not-os.url = github:cleverca22/not-os; inputs.not-os.url = github:cleverca22/not-os;
inputs.zynq-rs.url = git+https://git.m-labs.hk/m-labs/zynq-rs;
outputs = { self, not-os }: { outputs = { self, nixpkgs, not-os, zynq-rs }:
packages.armv7l-linux = let let
platforms = (import not-os.inputs.nixpkgs { config = {}; }).platforms; pkgs = import nixpkgs { system = "x86_64-linux"; };
eval = (import "${not-os}" { zynqpkgs = zynq-rs.packages.x86_64-linux;
extraModules = [
./zynq_image.nix build = { target ? "zc706" }: let
]; fsbl = zynqpkgs."${target}-fsbl";
platform = system: platforms.armv7l-hf-multiplatform;
system = "x86_64-linux"; u-boot = pkgs.pkgsCross.armv7l-hf-multiplatform.buildUBoot {
crossSystem.system = "armv7l-linux"; defconfig = "xilinx_zynq_virt_defconfig";
inherit (not-os.inputs) nixpkgs; preConfigure = ''
}); export DEVICE_TREE=zynq-zc706
in { '';
zynq_image = eval.config.system.build.zynq_image; extraMeta.platforms = ["armv7l-linux"];
filesToInstall = ["u-boot.elf"];
};
fsbl-sd = pkgs.runCommand "${target}-fsbl-sd"
{
buildInputs = [ zynqpkgs.mkbootimage ];
}
''
bifdir=`mktemp -d`
cd $bifdir
ln -s ${fsbl}/fsbl.elf fsbl.elf
ln -s ${u-boot}/u-boot.elf u-boot.elf
cat > boot.bif << EOF
the_ROM_image:
{
[bootloader]fsbl.elf
u-boot.elf
}
EOF
mkdir $out $out/nix-support
mkbootimage boot.bif $out/boot.bin
echo file binary-dist $out/boot.bin >> $out/nix-support/hydra-build-products
'';
in {
"${target}-fsbl-sd" = fsbl-sd;
};
in rec {
packages.x86_64-linux = {
zc706-fsbl = zynqpkgs.zc706-fsbl;
} // (build { target = "zc706"; });
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;
};
}; };
};
} }