|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
If this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire. More...
#include <hardware_revoker.hh>
If this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire.
This method should return true if the epoch has been reached or false if the timeout expired.
Definition at line 106 of file hardware_revoker.hh.