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

Rework the ethernet_config file #203

Closed alwin-joshy closed 1 week ago

alwin-joshy commented 1 month ago

The ethernet_config file currently initializes queues and data structures for the different components. This patch shifts more of the initialization into the components and leaves the bare minimum inside the config file.

The primary motivation behind this for making the sDDF microkit-independent in the future. When this occurs, the assumptions that the sDDF implementation in microkit holds about the relative position of certain buffers and things like this may no longer hold. Changing the implementation to something like this allows us to seperate queue configuration from queue initialization, so that the same initialization code (in the components) can be used by different OS environments, even if parameters about the queues are from different places.