Kernel primitives of the HXDP executive | IEEE Conference Publication | IEEE Xplore