lucypa/sddf

seL4 Device Driver Framework

sddf's Issues

Performance comparison with Linux XDP

Slide 17 from the seL4 2022 summit here shows performance comparison against the Linux network stack.
[suggestion] It would be great to have a similar comparison against Linux's eBPF based eXpress Data Path (XDP). XDP based user-space stack seems to be more comparable to sDDF by design than the Linux kernel stack.

Scaling to multiple clients

Hi @lucypa ! Very exciting work!
I have a question about the client multiplexing mentioned in your presentation - see below:

Do you suggest having multiple IP stacks as shown in the picture? I am thinking about a use case where we have multiple client components that require network access. If the target board has only one NIC, presumably these clients would need to communicate with a single IP stack component (maybe via some sort of socket-like API). Or did you have a different application in mind?

How would this architecture scale to other peripherals, such as I2C, SPI, ...?