Struct sel4_microkit_driver_adapters::serial::driver::HandlerImpl

pub struct HandlerImpl<Driver, const READ_BUF_SIZE: usize = 256> { /* private fields */ }

Handle messages using an implementor of serial::Read and serial::Write.

Implementations

impl<Driver, const READ_BUF_SIZE: usize> HandlerImpl<Driver, READ_BUF_SIZE>

where Driver: Read<u8> + Write<u8> + HandleInterrupt,

pub fn new(driver: Driver, serial: Channel, client: Channel) -> Self

Trait Implementations

impl<Driver: Clone, const READ_BUF_SIZE: usize> Clone for HandlerImpl<Driver, READ_BUF_SIZE>

fn clone(&self) -> HandlerImpl<Driver, READ_BUF_SIZE>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Driver: Debug, const READ_BUF_SIZE: usize> Debug for HandlerImpl<Driver, READ_BUF_SIZE>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Driver> Handler for HandlerImpl<Driver>

where Driver: Read<u8> + Write<u8> + HandleInterrupt,

type Error = Infallible

Error type returned by this protection domain’s entrypoints.

fn notified(&mut self, channel: Channel) -> Result<(), Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn protected( &mut self, channel: Channel, msg_info: MessageInfo, ) -> Result<MessageInfo, Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn fault( &mut self, child: Child, msg_info: MessageInfo, ) -> Result<Option<MessageInfo>, Self::Error>

This method has the same meaning and type as its analog in libmicrokit.

fn take_deferred_action(&mut self) -> Option<DeferredAction>

An advanced feature for use by protection domains which seek to coalesce syscalls when possible.