added real-time kernel