[seL4] CamkesVM: EthDriver and Firewall

Hi all,

I have some clarifying questions about the Ethernet driver https://github.com/seL4/camkes-vm/tree/master/components/Ethdriver and the Firewall https://github.com/seL4/camkes-vm/tree/master/components/Firewall components.

1. Does the ethernet driver return a raw ethernet frame and the consumer of the data has to strip the MAC header etc or does the driver return only payload (IP, ARP etc data)? 2. has the Firewall component been tested and does it work? (I know it is a part of CMA34_centos_defconfig but I don't have a way to test it right now)

Thanks for the info. M