RT kernel interface