| #
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>
|
| #
5f16cdd0 |
|
05-May-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
trivial: Style changed files
|
| #
f727534b |
|
02-May-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
aeroplage: Update to use platsupport IO code
Instead of using the interfaces that are no longer provided by the
seL4HardwareIOPort conenctor, this commit updates the IO port code to
use the libplatsupport abstractions.
|
| #
d5e17ab1 |
|
10-Aug-2017 |
Michal Podhradsky <michal.podhradsky@aggiemail.usu.edu> |
Update aeroplage 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.
|