History log of /seL4-camkes-master/projects/global-components/templates/get-notification.template.h
Revision Date Author Comments
# 978ce0ba 04-May-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add threadless RPC support to other connectors

These connectors check the number of threads on the TO end of the
connector definition and then swich which RPC template they import
between the one that uses threads and the one that doesn't.