Tracing
| Type | Level | UID | REFS | Title | Statement | Rationale | Comment |
|---|---|---|---|---|---|---|---|
| REQUIREMENT | 1 | ZEP-SRS-23-1 | Parents: | LIFO definition at compile time |
The Zephyr RTOS shall provide a mechanism to define and initialize a LIFO at compile time. |
||
| REQUIREMENT | 2 | ZEP-SRS-23-2 | Parents: | LIFO enqueue item to the back |
The Zephyr RTOS shall provide a mechanism to enqueue a data item to the back of a LIFO (i.e. prepend). |
||
| REQUIREMENT | 3 | ZEP-SRS-23-3 | Parents: | LIFO implicit memory allocation |
The Zephyr RTOS shall provide a mechanism to allocate memory from a thread when enqueuing data items to a LIFO. |
||
| REQUIREMENT | 4 | ZEP-SRS-23-4 | Parents: | LIFO get and dequeue item from front |
The Zephyr RTOS shall provide a mechanism to get and dequeue a data item from the back of a LIFO, within a timeout. |
||
| REQUIREMENT | 5 | ZEP-SRS-23-5 | Parents: | Queue definition at compile time |
The Zephyr RTOS shall provide a mechanism to define and initialize a LIFO at compile time. |