125 lines
2.9 KiB
Nix
125 lines
2.9 KiB
Nix
final: prev:
|
|
|
|
# Changes to packages from nixpkgs
|
|
|
|
{
|
|
blis = ((prev.blis.override {
|
|
blas64 = true;
|
|
withArchitecture = "generic";
|
|
}).overrideAttrs (old: {
|
|
nativeBuildInputs = (old.nativeBuildInputs or []) ++ [
|
|
prev.buildPackages.gfortran
|
|
];
|
|
})).overrideDerivation (old : {
|
|
configureFlags = [
|
|
"--enable-cblas"
|
|
"--blas-int-size=64"
|
|
"--enable-threading=openmp"
|
|
#"--build=x86_64-unknown-linux-gnu"
|
|
#"--host=riscv64-unknown-linux-gnu"
|
|
"generic"
|
|
];
|
|
});
|
|
|
|
unalignedCheck = prev.stdenv.mkDerivation {
|
|
name = "unaligned-check";
|
|
src = ./unalign.c;
|
|
unpackPhase = ''
|
|
cp ${./unalign.c} unalign.c
|
|
'';
|
|
dontConfigure = true;
|
|
buildPhase = ''
|
|
$CC unalign.c -o unalign_check
|
|
'';
|
|
installPhase = ''
|
|
mkdir -p $out/bin
|
|
cp unalign_check $out/bin/
|
|
'';
|
|
};
|
|
|
|
csrtool = prev.pkgsStatic.stdenv.mkDerivation {
|
|
name = "csrtool";
|
|
src = ./csrtool.c;
|
|
unpackPhase = ''
|
|
cp ${./csrtool.c} csrtool.c
|
|
'';
|
|
dontConfigure = true;
|
|
buildPhase = ''
|
|
$CC -static csrtool.c -o csrtool
|
|
'';
|
|
installPhase = ''
|
|
mkdir -p $out/bin
|
|
cp csrtool $out/bin/
|
|
'';
|
|
};
|
|
|
|
memtool = prev.pkgsStatic.stdenv.mkDerivation {
|
|
name = "memtool";
|
|
src = ./memtool.c;
|
|
unpackPhase = ''
|
|
cp ${./memtool.c} memtool.c
|
|
'';
|
|
dontConfigure = true;
|
|
buildPhase = ''
|
|
$CC -static memtool.c -o memtool
|
|
'';
|
|
installPhase = ''
|
|
mkdir -p $out/bin
|
|
cp memtool $out/bin/
|
|
'';
|
|
};
|
|
|
|
bitstreams = builtins.fetchGit {
|
|
url = "git@bscpm03.bsc.es:rarias/bitstreams.git";
|
|
rev = "097dad3e888f630ad6ec7e7056ee1b3fcb03400b";
|
|
};
|
|
|
|
# Baremetal tests for standalone FPGA
|
|
sa-fpga-tests = prev.pkgsStatic.stdenv.mkDerivation {
|
|
name = "sa-fpga-tests";
|
|
src = builtins.fetchGit {
|
|
url = "git@gitlab-internal.bsc.es:hwdesign/rtl/core-tile/sa-fpga.git";
|
|
rev = "afe0372413a94fff279ca5d5002c3e999ac8defb";
|
|
ref = "ft/sv_eirq";
|
|
};
|
|
dontConfigure = true;
|
|
patches = [
|
|
#./sa-fpga-crt.patch
|
|
#./sa-fpga-text-address.patch
|
|
./sa-fpga-uart.patch
|
|
];
|
|
buildPhase = ''
|
|
cd fpga_core_bridge/simulator/tests/c_tests/
|
|
make RISCV_PREFIX=riscv64-unknown-linux-musl-
|
|
|
|
# Generate binary images to be loaded in memory
|
|
for f in *.riscv; do
|
|
# Don't copy 0x40000000 section
|
|
$OBJCOPY -R .tohost -O binary $f $f.bin
|
|
done
|
|
'';
|
|
installPhase = ''
|
|
ls -lah
|
|
make install install_dir=$out
|
|
cp -a *.bin $out
|
|
'';
|
|
dontFixup = true;
|
|
hardeningDisable = [ "all" ];
|
|
};
|
|
|
|
rbootrom = prev.pkgsStatic.stdenv.mkDerivation {
|
|
name = "rbootrom";
|
|
src = ./bootrom;
|
|
dontConfigure = true;
|
|
buildPhase = ''
|
|
make
|
|
'';
|
|
installPhase = ''
|
|
mkdir $out
|
|
cp rbootrom.bin rbootrom.elf $out/
|
|
'';
|
|
dontFixup = true;
|
|
hardeningDisable = [ "all" ];
|
|
};
|
|
}
|