Zephyr Project Requirements
Tracing

Tracing
1. LIFO definition at compile time
UID: ZEP-SRS-23-1
STATUS: Draft
TYPE: Functional
COMPONENT: LIFOs
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to define and initialize a LIFO at compile time.
2. LIFO enqueue item to the back
UID: ZEP-SRS-23-2
STATUS: Draft
TYPE: Functional
COMPONENT: LIFOs
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to enqueue a data item to the back of a LIFO (i.e. prepend).
3. LIFO implicit memory allocation
UID: ZEP-SRS-23-3
STATUS: Draft
TYPE: Functional
COMPONENT: LIFOs
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to allocate memory from a thread when enqueuing data items to a LIFO.
4. LIFO get and dequeue item from front
UID: ZEP-SRS-23-4
STATUS: Draft
TYPE: Functional
COMPONENT: LIFOs
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to get and dequeue a data item from the back of a LIFO, within a timeout.
5. Queue definition at compile time
UID: ZEP-SRS-23-5
STATUS: Draft
TYPE: Functional
COMPONENT: Queues
parent relations: STATEMENT:

The Zephyr RTOS shall provide a mechanism to define and initialize a LIFO at compile time.