History log of /seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/client.h
Revision Date Author Comments
# 75e258f6 04-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

output clients in different colors

So they can be distinguished in output. This is enabled by default but
can be turned off with a config option.


# 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.


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

SELFOUR-1107 move serial server to own library