Hi Michal, The EthDriver returns and takes raw ethernet frames and is essentially acting as a fairly thin wrapper around the hardware descriptor rings. The Firewall component has been used and works, although it currently does not act much as a firewall due to just passing through all packets in both directions. Adrian On Fri 16-Feb-2018 10:58 AM, Michal Podhradsky wrote:

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

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel