sysroot-destdir/opt/petalinux/2020.2/sysroots/x86_64-petalinux-linux/usr/include/gmp.h
