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

Rework serial config files #256

Open Courtney3141 opened 2 months ago

Courtney3141 commented 2 months ago

This PR redesigns the serial config files in line with the ethernet config files updated here https://github.com/au-ts/sddf/pull/203.

Rather than initialising the serial queues on behalf of the components, the config functions now initialise the variables required by the components to initialise the queues, allowing the components to initialise their own queues.

In the case of the serial clients, this is just the capacity of the serial queues. For the virtualisers, this PR introduces a serial_queue_info struct (like the net_queue_info struct), which contains client queue addresses, capacity and data region addresses. A struct is initialised for each client, allowing the virtualisers to initialise client queues with the struct.

Note that this PR is based off https://github.com/au-ts/sddf/pull/255, and should be merged secondary to that.