History log of /seL4-camkes-master/projects/global-components/templates/seL4RPCDataport-from.template.c
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.


# c5a15053 30-Aug-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Update licenses

- s/D61/DATA61
- s/NICTA_BSD/DATA61_BSD
- comment out template licenses to avoid multiple licenses being
generated throughout templates


# b455f6f4 03-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Add RPCDataport connector