History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/testsel4_notification.py
Revision Date Author Comments
# 37756765 19-Dec-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

camkes/templates: add spin_available check

Some tests rely on spin being installed. Only run these tests if spin is
actually installed. This is consistent with how other tests with such
dependencies are skipped.


# 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.