It appears the gntshr interface is only available on some platforms, so this patches libIVC to be OK with not having it.
It appears the gntshr interface is only available on some platforms, so this patches libIVC to be OK with not having it.

thumphries/HaLVM,rowhit/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,rowhit/HaLVM,elijah513/HaLVM,GaloisInc/HaLVM,mwotton/HaLVM,rowhit/HaLVM,elijah513/HaLVM,thumphries/HaLVM,ggkitsas/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM