artiq-zynq/default.nix

133 lines
4.3 KiB
Nix
Raw Normal View History

2020-04-30 21:04:28 +08:00
{
mozillaOverlay ? import (builtins.fetchTarball https://github.com/mozilla/nixpkgs-mozilla/archive/master.tar.gz),
}:
let
pkgs = import <nixpkgs> { overlays = [ mozillaOverlay ]; };
rustPlatform = (import ./rustPlatform.nix { inherit pkgs; });
artiqpkgs = import <artiq-fast/default.nix> { inherit pkgs; };
vivado = import <artiq-fast/vivado.nix> { inherit pkgs; };
zc706-fsbl = import ./fsbl.nix { inherit pkgs; };
2020-05-01 11:23:00 +08:00
mkbootimage = (import ./mkbootimage.nix { inherit pkgs; });
2020-05-14 15:30:50 +08:00
build-zc706 = { variant }: let
firmware = rustPlatform.buildRustPackage rec {
name = "zc706-${variant}-firmware";
2020-04-30 21:04:28 +08:00
version = "0.1.0";
src = ./src;
2020-09-04 16:43:07 +08:00
cargoSha256 = "0b1jq06bm25djp7ppharkzvlxxbcqaq08756j0d0x8n0s2jwi4fn";
2020-04-30 21:04:28 +08:00
nativeBuildInputs = [
pkgs.gnumake
(pkgs.python3.withPackages(ps: (with artiqpkgs; [ migen migen-axi misoc artiq ])))
pkgs.cargo-xbuild
2020-07-02 21:50:19 +08:00
pkgs.llvmPackages_9.llvm
pkgs.llvmPackages_9.clang-unwrapped
];
2020-04-30 21:04:28 +08:00
buildPhase = ''
export XARGO_RUST_SRC="${rustPlatform.rust.rustc.src}/src"
export CARGO_HOME=$(mktemp -d cargo-home.XXX)
2020-05-14 15:30:50 +08:00
make VARIANT=${variant}
2020-04-30 21:04:28 +08:00
'';
installPhase = ''
mkdir -p $out $out/nix-support
2020-09-01 09:41:02 +08:00
cp ../build/runtime.bin $out/runtime.bin
2020-05-07 13:52:40 +08:00
cp ../build/firmware/armv7-none-eabihf/release/runtime $out/runtime.elf
2020-09-01 09:41:02 +08:00
cp ../build/firmware/armv7-none-eabihf/debug/szl $out/szl.elf
echo file binary-dist $out/runtime.bin >> $out/nix-support/hydra-build-products
echo file binary-dist $out/runtime.elf >> $out/nix-support/hydra-build-products
echo file binary-dist $out/szl.elf >> $out/nix-support/hydra-build-products
2020-04-30 21:04:28 +08:00
'';
doCheck = false;
2020-04-30 21:04:28 +08:00
dontFixup = true;
};
2020-05-14 15:30:50 +08:00
gateware = pkgs.runCommand "zc706-${variant}-gateware"
{
nativeBuildInputs = [
(pkgs.python3.withPackages(ps: (with artiqpkgs; [ migen migen-axi misoc artiq ])))
vivado
];
}
2020-04-30 21:04:28 +08:00
''
2020-07-13 10:44:25 +08:00
python ${./src/gateware}/zc706.py -g build -V ${variant}
2020-04-30 21:04:28 +08:00
mkdir -p $out $out/nix-support
cp build/top.bit $out
echo file binary-dist $out/top.bit >> $out/nix-support/hydra-build-products
'';
# SZL startup
2020-05-14 15:30:50 +08:00
jtag = pkgs.runCommand "zc706-${variant}-jtag" {}
2020-04-30 21:04:28 +08:00
''
mkdir $out
2020-05-14 15:30:50 +08:00
ln -s ${firmware}/szl.elf $out
2020-09-01 09:41:02 +08:00
ln -s ${firmware}/runtime.bin $out
2020-05-14 15:30:50 +08:00
ln -s ${gateware}/top.bit $out
2020-04-30 21:04:28 +08:00
'';
2020-05-14 15:30:50 +08:00
sd = pkgs.runCommand "zc706-${variant}-sd"
2020-05-01 11:23:00 +08:00
{
buildInputs = [ mkbootimage ];
}
''
# Do not use "long" paths in boot.bif, because embedded developers
# can't write software (mkbootimage will segfault).
bifdir=`mktemp -d`
cd $bifdir
2020-05-14 15:30:50 +08:00
ln -s ${firmware}/szl.elf szl.elf
2020-09-01 09:41:02 +08:00
ln -s ${firmware}/runtime.elf runtime.elf
ln -s ${gateware}/top.bit top.bit
cat > boot.bif << EOF
2020-05-01 11:23:00 +08:00
the_ROM_image:
{
[bootloader]szl.elf
top.bit
2020-09-01 09:41:02 +08:00
runtime.elf
2020-05-01 11:23:00 +08:00
}
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
2020-05-01 11:23:00 +08:00
'';
# FSBL startup
fsbl-sd = pkgs.runCommand "zc706-${variant}-fsbl-sd"
{
buildInputs = [ mkbootimage ];
}
''
bifdir=`mktemp -d`
cd $bifdir
ln -s ${zc706-fsbl}/fsbl.elf fsbl.elf
ln -s ${gateware}/top.bit top.bit
ln -s ${firmware}/runtime.elf runtime.elf
cat > boot.bif << EOF
the_ROM_image:
{
[bootloader]fsbl.elf
top.bit
runtime.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
'';
2020-05-14 15:30:50 +08:00
in {
"zc706-${variant}-firmware" = firmware;
"zc706-${variant}-gateware" = gateware;
"zc706-${variant}-jtag" = jtag;
"zc706-${variant}-sd" = sd;
"zc706-${variant}-fsbl-sd" = fsbl-sd;
2020-05-14 15:30:50 +08:00
};
in
(
(build-zc706 { variant = "simple"; }) //
(build-zc706 { variant = "nist_clock"; }) //
2020-08-04 13:17:33 +08:00
(build-zc706 { variant = "nist_qc2"; }) //
(build-zc706 { variant = "acpki_simple"; }) //
(build-zc706 { variant = "acpki_nist_clock"; }) //
(build-zc706 { variant = "acpki_nist_qc2"; }) //
{ inherit zc706-fsbl; }
2020-05-14 15:30:50 +08:00
)