kernel/trace/rv/monitors/sched/Kconfig

File Facts

System

Linux kernel

Corpus path

kernel/trace/rv/monitors/sched/Kconfig

Extension

[no extension]

Size

395 bytes

Lines

13

Domain

Core OS

Bucket

Scheduler, Processes, Timers, Sync, And Syscalls

Inferred role

Core OS: build/configuration rule

Status

atlas-only

Why This File Exists

Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.

• Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.

Dependency Surface

• No C-style include directives detected by the generator.

Detected Declarations

• No top-level syscall, struct, function, initcall, or export declaration detected by the generator.

Annotated Snippet

# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_SCHED
	depends on RV
	depends on RV_PER_TASK_MONITORS >= 3
	bool "sched monitor"
	help
	  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

Annotation

• Atlas domain: Core OS / Scheduler, Processes, Timers, Sync, And Syscalls.
• Implementation status: atlas-only.

Implementation Notes

• This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
• Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
• Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.