requirements: add Futex component

The futex fast user-space synchronization primitive (k_futex_wait/ k_futex_wake), exercised by tests/kernel/mem_protect/futex, had no requirement. Add system requirement ZEP-SYRS-36 (Futex) and a new Futex software component (ZEP-SRS-37-1..37-6): pending on a futex, immediate return with an error when the futex value differs from the expected value, blocking until woken or the timeout elapses when the value matches, waking the highest-priority or all pending threads, user mode operation on accessible futexes, and rejection of futex operations on inaccessible memory.

Assisted-by: Claude:claude-fable-5 Signed-off-by: Anas Nashif anas.nashif@intel.com

Zephyr Project Requirements

This repository contains a preliminary work on the Zephyr Project requirements.

The requirements are captured using StrictDoc.

See the Zephyr Safety Working Group Wiki for information on connecting to the team.

The guidelines around writing requirements are located here: Safety Requirements

Deployed Documentation

The requirements documentation is available online at: https://zephyrproject-rtos.github.io/reqmgmt

System requirements

The requirements shall be browsable and editable on all major operating systems that have Python 3.7+.

Getting started

To install the requirements management tool:

pip install strictdoc

To generate the requirements documentation in HTML format:

strictdoc export .

To browse/edit the requirements using StrictDoc’s web interface:

strictdoc server .

To generate uid’s for new written requirements use the command:

strictdoc manage auto-uid .