Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Apply queue API changes from the RTOS core.
The RTOS core changed the queue API: CHERIoT-Platform/cheriot-rtos@c3c0fb1 This requires slight changes to the network stack reset code, which plugs in at this lower-level API. Signed-off-by: Hugo Lefeuvre <[email protected]>
- Loading branch information