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