[PD] Realtime kernel