<div dir="ltr">Can Openmpi library be run on xilkernel(OS from Xilinx)?<div>If yes, how to install it on xilkernel?</div></div>