History log of /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/templates/picotcp-ethernet-async-client-init.template.c
Revision Date Author Comments
# 0904924e 21-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

remote-drivers: Tune picotcp-ethernet-async

These tweaks are here to help squeeze out some extra performance.


# efb777f7 30-Apr-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add picotcp-ethernet-async camkes module

This camkes module registers a PicoTCP device that is provided by an
ethernet driver registered under PS_ETHERNET_INTERFACE in another
component.