History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/marshal_macros.h
Revision Date Author Comments
# b4252287 28-Jan-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

templates: Convert repeated marshal code to macros

Add camkes/marshal_macros.h which provides a series of marshal and
unmarshal macros for different RPC parameter types (array, string array,
string, regular) into a fixed size buffer.
Refactor the marshal.c template code to use the macros.
This refactor doesn't change any behavior.