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

global-endpoint: Refactor to auto-allocate badges

As the global-endpoint is a notification object shared across multiple
camkes connections, we force each connection end to have a distinct
badge value and don't allow the camkes assembly to specify badge values
or notification object names.


# c89d3dab 03-Feb-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

global-endpoint: Provide method to get badge value

Components can call this method to get the badge value of notifications
belonging to the connection this object is used in.


# c5d7a7c7 26-Feb-2019 Damon Lee <Damon.Lee@data61.csiro.au>

rpc-get-notification: Rename rpc-get-notification to get-notification

This template file will be included by different files which are not
necessarily related to RPC connectors.