Cross Reference: /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/interface

History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/interface_registration.h
Revision		Date	Author	Comments
# c33979d0		03-Mar-2020	Damon Lee <Damon.Lee@data61.csiro.au>	libsel4camkes: Add interface registration service This commit adds an implementation for the interface registration interface in libplatsupport in util_libs. Also, add a call in camkes_io_ops to initialise the interface registration interface alongside the other interfaces in the ps_io_ops_t structure.