A Truly Jitter-Free Real-Time Kernel