au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
17 stars 14 forks source link

Serial tx virt signal client when space available #194

Closed Courtney3141 closed 1 month ago

Courtney3141 commented 1 month ago

This PR changes the serial tx virtualiser to signal a client after their data has been transmitted to the driver's data region. The primary purpose for this is to enable clients to wait on a notification from the virtualiser if they wish to transmit data but their data region is currently full.

The signalling of the client is dependent on whether the client sets their notify consumer flag, thus receiving a signal from the tx virtualiser is opt in depending on the client's behaviour.