You can find information here:
https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18841683/Linux+Reserved+Memory
I will also suggest you check dmesg to see if CMA is enabled as it can also be defined in the kernel boot args.
Also , what does XRT error below mean
XRT] ERROR: boost::filesystem::directory_iterator::construct: No such file or directory: “/dev/dri/by-path/”
Does xbutil examine show any device found?
