The LITMUS^RT kernel with GPUSync.