1.. SPDX-License-Identifier: GPL-2.0 2 3===================== 4Real-time preemption 5===================== 6 7This documentation is intended for Linux kernel developers and contributors 8interested in the inner workings of PREEMPT_RT. It explains key concepts and 9the required changes compared to a non-PREEMPT_RT configuration. 10 11.. toctree:: 12 :maxdepth: 2 13 14 theory 15 differences 16 hardware 17 architecture-porting 18 kernel-configuration 19