|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Helper concept for the type returned by receive_frame. More...
#include <ethernet.hh>
Helper concept for the type returned by receive_frame.
This must provide a buffer and a length. It may also be an RAII type that handles any cleanup when it is destroyed.
This is not required to be copyable.
Definition at line 14 of file ethernet.hh.