#
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
|
#
bc035348 |
|
02-May-2019 |
Damon Lee <Damon.Lee@data61.csiro.au> |
keyboard: Update to use libplatsupport IO code Same idea as the previous commit, use libplatsupport's IO port abstractions instead of the old seL4HardwareIOPort interfaces.
|
#
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.
|
#
db41dffa |
|
28-May-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Remove #includes of legacy header. JIRA CAMKES-331
|
#
b08cb3b4 |
|
21-Jul-2014 |
TrustworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|