https://hgpu.org/?p=5741
Real-Time Handling of GPU Interrupts in LITMUSRT