| #
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers
This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.
|
| #
40c61e5c |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses (the rest)
|
| #
0a6871c4 |
|
20-Sep-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
manual: Remove references to NICTA
Replace old references to NICTA from built versions of the manual
|
| #
74f66d20 |
|
09-Nov-2015 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
no logo without more disclaimers
|
| #
386337a9 |
|
17-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
manual: notification/signalling terminology
Terminology clarification:
- synchronous endpoints -> endpoints
- asynchronous endpoints -> notifications (and notification objects)
- notify -> signal
Also minor language edits.
|
| #
427c4771 |
|
17-Aug-2015 |
Gernot Heiser <gernot@nicta.com.au> |
manual: Purely cosmetic changes / improved wording
|
| #
24fa2a29 |
|
18-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Remove logo; clean up copyright marking.
|
| #
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|