History log of /seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/polling-client.c
Revision Date Author Comments
# e653f3f9 02-Dec-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX

Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 2de63ba1 22-Jun-2020 Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

serialserver_polling: bug fix

Fix an issue when multiple characters received between seL4_Poll calls,
the receiver will only process 1 char then start polling again.
# 109237fe 08-Jun-2020 Jingyao Zhou <Jingyao.Zhou@data61.csiro.au>

serialserver: add examples for getchar

add poll based and interrupt based examples for demonstrating
getchar.