Add timer and networking support for virtIO/QEMU

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

16 stars 12 forks source link

Add timer and networking support for virtIO/QEMU #93

Closed Ivan-Velickovic closed 3 months ago

Ivan-Velickovic commented 4 months ago

This PR adds drivers for the ARM generic timer and virtIO net. The motivation for this is to allow the examples within sDDF to use QEMU.

This PR also allows for the LionsOS reference system we have been working on to work with QEMU.

Depends on https://github.com/au-ts/sddf/pull/92.

Ivan-Velickovic commented 3 months ago

Now that https://github.com/au-ts/sddf/pull/92 is merged this should be rebased and is almost ready to be merged.

Ivan-Velickovic commented 3 months ago

We should have all of these in one memory region.

Will merge after this has been addressed and we confirm the ipbench benchmark succeeds for the driver.

Ivan-Velickovic commented 3 months ago

Will need to be rebased since https://github.com/au-ts/sddf/pull/103 has been merged. We will need Makefile snippets for the virtIO net driver and the ARM timer driver.