Hello,
I would like to use a similar Ethernet driver component as for x86 platforms here: https://github.com/seL4/camkes-vm/tree/master/components/Ethdriver

But in the camkes-vm-arm repository I don't see an equivalent component:
https://github.com/SEL4PROJ/camkes-arm-vm/tree/master/apps/vm/components

Is the ethernet currently just passed to Linux? And if so, what would entail making a new driver etc similar to x86 platforms?

Regards
Michal