[seL4] CamkesVM: EthDriver and Firewall

Adrian.Danis at data61.csiro.au Adrian.Danis at data61.csiro.au
Fri Feb 16 13:45:28 AEDT 2018

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.


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 at sel4.systems
> https://sel4.systems/lists/listinfo/devel

More information about the Devel mailing list