Real Time Reservation Kernel Implementation