| #
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>
|
| #
e7c98677 |
|
25-Nov-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
mutex: Declare connector with new syntax
The syntax for declaring a connector now requires the template to be
specified in CMake.
|
| #
155fa9ad |
|
16-Aug-2019 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
trivial: mutex: update Isabelle connector spec
|
| #
f04be3fe |
|
21-Jul-2019 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
mutex: add Isabelle spec string for connector
This allows us to generate and check an seL4 integrity spec for the
mutex app.
|
| #
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
|
| #
1bc14f80 |
|
31-Jan-2016 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix licence headers.
|
| #
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.
|
| #
b08cb3b4 |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|