[seL4] CamkesVM: EthDriver and Firewall

Michal Podhradsky mpodhradsky at galois.com
Fri Feb 16 10:58:35 AEDT 2018

Hi all,

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

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20180215/b866cc31/attachment.html>

More information about the Devel mailing list