| #
e653f3f9 |
|
02-Dec-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX
Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`
Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
| #
d03717c5 |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Rexpand licenses
|
| #
9e00d2dc |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Licenses: s/NICTA_BSD/DATA61_BSD
|
| #
73257ba4 |
|
04-Jul-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Unexpand licenses
|
| #
c693ca57 |
|
28-Nov-2016 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
Removed use of deprecated seL4_Notify
|
| #
1bc14f80 |
|
31-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix licence headers.
|
| #
f2d81187 |
|
11-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Update mutex app for seL4 API changes.
|
| #
b3452eae |
|
10-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Initial import of example applications.
The original port of these example applications from the 'master' branch of
CAmkES was done in https://github.inside.nicta.com.au/mfernandez/project.
|
| #
87fb73d2 |
|
24-Nov-2015 |
Stephen Sherratt <Stephen.Sherratt@nicta.com.au> |
s/seL4_Wait/seL4_Recv
|
| #
728aa255 |
|
29-Jul-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix: include stddef.h when using NULL.
This issue only became apparent after pulling in the changes that divorced
libsel4 from libc.
|
| #
b08cb3b4 |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|