Quadros RTXC kernel services interface