| #
5c6be3ff |
|
26-Feb-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
seL4GlobalAsynch(Callback): Refactor connector to deduplicate code
|
| #
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
|
| #
46e2d5a1 |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
9b5991ee |
|
22-Aug-2016 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
Update seL4GlobalAsynchCallback to next
|
| #
409cf837 |
|
03-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replace interface_aep with interface_notification
This changes the interfaces exposed by the seL4GlobalAsynch and
seL4GlobalAsynchCallback connectors, replacing the _aep method with
_notification.
|
| #
5eb52cae |
|
03-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replace aep with notification internally
|
| #
de2b2c1a |
|
04-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Remove some unnecessary #includes.
|
| #
70fc9479 |
|
07-Jul-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Pass badge to callback in seL4GlobalAsynchCallback
|
| #
0f3c4cc2 |
|
07-Jul-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Add global asynchronous connectors
These connectors are designed to be used when you want to connect
asynch sources using single endpoints
|