CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
Lockable Concept Reference

Concept definition

template<typename T>
concept Lockable = requires(T l) {
{ l.lock() };
{ l.unlock() };
}

Detailed Description

Definition at line 278 of file locks.hh.