Managed to build the xsabin partition file:
raccoon% ls -lh result/lib/firmware/xilinx/283bab8f654d8674968f4da57f7fa5d7/
total 257M
-r--r--r-- 1 root root 129M Jan 1 1970 partition.mcs
…
Got all the pieces to build the partition.xsabin file, except the scheduler runtime ERT:
xilinx-fw> + [[ ! -L /build/deb/opt/xilinx/firmware/u280/gen3x16-xdma/base/firmware/ert-v30…
Xilinx has dropped support for U280 in https://github.com/Xilinx/XRT/pull/7901, which makes the xblmgmt driver refuse to probe the FPGA. Reverting the commit makes it happy, and detects the FPGA…
Could you make this run in the Gitea CI? Here is an example: 5da53c69b8
I think we only need to run the same…
They had removed support for the U280 device. Reverting the commit makes the driver perform the initialization:
[198196.595845] xclmgmt init()
[198196.597370] xclmgmt 0000:83:00.0: …
Probably I'm missing the udev rules to make a device.
raccoon% find . -name '*.rules'
./src/runtime_src/core/pcie/driver/aws/kernel/mgmt/10-awsmgmt.rules
./src/runtime_src/core/pcie/drive…
The msd daemon fails to run, somehow the daemons still use the harcoded path:
raccoon% /nix/store/b6skv0iyl2djirf77q65sysq01qqncrn-xilinx-xrt/xrt/bin/msd
XRT build version: 2.19.0
Build…
Okay, then let's leave it as-is for now, but we will have to add a different logic to handle the FPGA case in the future.
As this would be used to test the bench2 outcome including other benchmarks I recommend you it rename to verify-bench2.awk.