#
27668dba |
|
17-Jan-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
seL4NotificationNative-to: Use stack variables Use the stack for the badge variable instead of allocating a global.
|
#
deab6ded |
|
16-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Move thread local generation into macros
|
#
8b2ec3e6 |
|
20-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
d1b539d9 |
|
03-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replaced aep with notification internally This changes variable names and comments replacing aep with notification. This change should have no impact on functionality.
|
#
19939eb1 |
|
03-Jul-2016 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replaced seL4Asynch with seL4Notification Breaking change that replaces the sel4Asynch* connectors with corresponding seL4Notification* connectors.
|
#
864f5b76 |
|
19-Nov-2015 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Replaced seL4_Wait with seL4_Recv in .c files (including templates)
|
#
564ddbf0 |
|
21-Oct-2015 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
Renamed seL4Asynch connector to seL4Notification, keeping support for seL4Asynch
|