Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - R index
The Linux kernel configuration item CONFIG_RV_MON_SCHED
:
CONFIG_RV
Collection of monitors to check the scheduler behaves according to specifications. Enable this to enable all scheduler specification supported by the current kernel.
For further information, see: Documentation/trace/rv/monitor_sched.rst
Raw data from LKDDb:
(none)
This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - R index
Automatically generated (in year 2025). See also LKDDb sources on GitLab