20 Mar
2018
20 Mar
'18
3:33 a.m.
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