History log of /seL4-refos-master/libs/libsel4vka/include/vka/ipcbuffer.h
Revision Date Author Comments
# e9a9ff4f 18-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: Style fix

make the style checker happy


# e23dc54b 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# bb21cb1d 17-Aug-2018 Thibaut Perami <thibaut.perami@data61.csiro.au>

libsel4vka: add function for setting the receive cap slot with a path