History log of /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/clientapi.c
Revision Date Author Comments
# 2d0006f6 26-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add serial_server_flush to client.h

serial_server_flush sends len contents of the shared buffer off for
printing.

This allows clients to write to the shared memory buffer explicitly
to avoid double buffering.


# c05c7f46 25-Sep-2017 Claudia Tu <claudia.tu@unsw.edu.au>

Style fixes for libsel4serialserver


# 4a22508f 18-Sep-2017 Claudia Tu <claudia.tu@unsw.edu.au>

SELFOUR-1107 move serial server to own library