History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/serial.c
Revision Date Author Comments
# 8c15947b 15-Feb-2020 Axel Heider <axelheider@gmx.de>

output: update and check FIFO for every char

Signed-off-by: Axel Heider <axelheider@gmx.de>
# 19c9d5df 16-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy
# 50dee015 21-Sep-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libsel4camkes: Move gdb implementation to ia32

There is only support for ia32 at this stage, so moving it here removes
compilation errors for other architectures