drivers/serial: implement virtIO console driver

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

23 stars 18 forks source link

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

The motivation for this is to allow multiple serial devices to be used at the same time with QEMU platforms.

Improvements:

make it use a serial design oriented around DMA instead of byte-by-byte transfer.
have one 'virtio region' that is used for all virtqs, rx data, tx data.
revisit descriptor handling, right now we have descriptors of length 1.

Ivan-Velickovic commented 1 month ago

Potential future improvements in this issue: https://github.com/au-ts/sddf/issues/265.

Ivan-Velickovic commented 1 month ago

Credit goes to @alwin-joshy, I just did some cleanup.