Raspberry Pi Ethernet Driver Support

Has anyone added ethernet driver support for the port of seL4 on the raspberry pi 3? I see by default there are only a few select platforms that have ethernet support in the seL4 projects. If not, what is the best strategy for creating a new driver for a specific platform?

For our seL4/CAmkES based TRENTOS-M (https://hensoldt-cyber.com/trentos/trentos-m) we have a RasPi3 port with a working ethernet driver. It is based on the libaries from https://github.com/rsta2/uspi


1 Like