The Agent Skills Directory

[SAFE]: The skill provides comprehensive and technically accurate documentation regarding the Linux Kernel Memory Model (LKMM), including memory barriers and Read-Copy-Update (RCU) primitives.
[SAFE]: All code examples provided in the examples/ directory are for educational purposes, demonstrating common kernel-space data races and their respective fixes.
[SAFE]: The verification commands suggested in SKILL.md are standard local development practices, such as compiling local C files with gcc and running a diagnostic binary (/tmp/ordering_demo). No remote script execution or unverifiable downloads were detected.
[SAFE]: The RCU and memory model reasoning aligns with upstream Linux kernel documentation and established development practices.

kernel-rcu-memory-barriers