History log of /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/include/picotcp-socket-sync.h
Revision Date Author Comments
# cbe164d5 15-Jul-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

single-threaded: registering handler requires name

When registering a handler against the single threaded component's
Endpoint/Notification object we now require a name to be provided in
order to make identifying handlers easier.


# dd2ba4e7 05-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add picotcp-socket-sync remote driver

This driver provides the synchronous picotcp socket interface to a
remote component. It is extracted from the Picoserver component.